Intégration de domaines à variables dans un solveur de contraintes ensemblistes

Fabrice Ambert, Sébastien Chemin, Bruno Legeard. Intégration de domaines à variables dans un solveur de contraintes ensemblistes. Technique et Science Informatiques, 22(1):217-220, 2003. [doi]

Abstract

Abstract is missing.