Belaïd Benhamou, Mohamed Saïdi. Une nouvelle approche pour le test d'inconsistance de CSP.
JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.201-208.
⟨inria-00291586⟩