Fadi A. Aloul Bashar Al Rawi Mokhtar Aboelaze Routing in Optical and Non-Optical Networks using Boolean Satisfiability. 49-56 2007 2 JCM 4 http://www.academypublisher.com/jcm/vol02/no04/jcm02044956.html db/journals/jcm/jcm2.html#AloulRA07