Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers.

Ramón Béjar Cèsar Fernández Carles Mateu Francesc Guitart

Published in: CCIA (2013)

Keyphrases

answer set programming
sat solving
infrared
routing problem
eigenvalue problems
search heuristics
data driven
web applications
constraint problems
network topology
sat solvers
conflict resolution
wireless ad hoc networks
routing algorithm
combinatorial optimization
sat instances
network topologies