Explications pour comprendre la trace d un solveur de contraintes sur domaines finis

Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Explications pour comprendre la trace d un solveur de contraintes sur domaines finis. In Frédéric Mesnard, editor, Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France. Hermes, 2004.

@inproceedings{FerrandLT04,
  title = {Explications pour comprendre la trace d un solveur de contraintes sur domaines finis},
  author = {Gérard Ferrand and Willy Lesaint and Alexandre Tessier},
  year = {2004},
  researchr = {https://researchr.org/publication/FerrandLT04},
  cites = {0},
  citedby = {0},
  booktitle = {Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France},
  editor = {Frédéric Mesnard},
  publisher = {Hermes},
  isbn = {2-7462-0937-3},
}