Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability.
Fadi A. AloulBashar Al-RawiMokhtar AboelazePublished in: CCNC (2008)
Keyphrases
- boolean satisfiability
- optical networks
- routing and wavelength assignment
- sat solvers
- wavelength division multiplexing
- branch and bound algorithm
- probabilistic planning
- integer linear programming
- symmetry breaking
- sat problem
- service differentiation
- randomly generated
- max sat
- phase transition
- orders of magnitude
- wireless networks
- software engineering
- network technologies
- search strategies
- wdm networks
- response time