Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes

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.

Authors

Jean-Michel Richer

This author has not been identified. Look up 'Jean-Michel Richer' in Google

Jean-Jacques Chabrier

This author has not been identified. Look up 'Jean-Jacques Chabrier' in Google