Fabrice Ambert, Sébastien Chemin, Bruno Legeard. Intégration de domaines à variables dans un solveur de contraintes ensemblistes. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 217-220, Hermes/Lavoisier, 2003.
Abstract is missing.