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.

Abstract

Abstract is missing.