Persistent data structures for backtracking and parallelism in constraint programming
Structures de données persistantes pour le backtracking et le parallélisme en PPC.
Résumé
We present the data structures used by the Concrete constraint solver to represent the state of a problem during search. The use of purely functional data structures enable us to implement non-chronological backtracking and parallel resolution easily.
Nous présentons les structures de données utilisées par le solveur Concrete pour représenter l’état d’un problème au cours de la recherche. L’utilisation de structures purement fonctionnelles permet de réaliser très facilement un backtracking non chronologique ou une résolution en parallèle.