Jean-Michel Richer, Jean-Jacques Chabrier. Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes. In Frédéric Benhamou, editor, JFPLC 97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France. pages 245-260, Hermes, 1997.
Abstract is missing.