Routing in Optical and Non-Optical Networks using Boolean Satisfiability.
Fadi A. AloulBashar Al-RawiMokhtar AboelazePublished in: J. Commun. (2007)
Keyphrases
- boolean satisfiability
- optical networks
- wavelength division multiplexing
- link failure
- service differentiation
- sat solvers
- wdm networks
- randomly generated
- branch and bound algorithm
- probabilistic planning
- symmetry breaking
- integer linear programming
- sat problem
- routing and wavelength assignment
- wireless networks
- combinatorial problems
- max sat
- routing problem
- network topology
- search tree
- phase transition
- ad hoc networks
- routing protocol
- search space
- sat instances
- boolean formula
- network technologies
- column generation
- search strategy