Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers | Publicación