A Boolean satisfiability based solution to the routing and wavelength assignment problem in optical telecommunication networks.