Desrosiers, C. (2004). Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible