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.

@inproceedings{RicherC97,
  title = {Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes},
  author = {Jean-Michel Richer and Jean-Jacques Chabrier},
  year = {1997},
  researchr = {https://researchr.org/publication/RicherC97},
  cites = {0},
  citedby = {0},
  pages = {245-260},
  booktitle = {JFPLC 97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France},
  editor = {Frédéric Benhamou},
  publisher = {Hermes},
  isbn = {2-86601-614-9},
}