Paroz, S. (2009). Preuves de non réalisabilité et filtrage de domaines pour les problèmes de satisfaction de contraintes : application à la confection d'horaires [Ph.D. thesis, École Polytechnique de Montréal]. Available