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.