A Boolean satisfiability based solution to the routing and wavelength assignment problem in optical telecommunication networks | IEEE Conference Publication | IEEE Xplore