Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks.
Miroslav N. VelevPing GaoPublished in: SARA (2011)
Keyphrases
- optical networks
- boolean satisfiability
- routing and wavelength assignment
- wavelength division multiplexing
- sat solvers
- branch and bound algorithm
- service differentiation
- probabilistic planning
- randomly generated
- wdm networks
- integer linear programming
- sat problem
- symmetry breaking
- real time
- combinatorial problems
- wireless networks
- orders of magnitude