Routing in Optical and Non-Optical Networks using Boolean Satisfiability