Stan, M. (1996). Tournées de véhicules et satisfaisabilité logique [Ph.D. thesis, École Polytechnique de Montréal]. Available