The PaLM system: explanation-based constraint programming
Résumé
Explanation-based constraint programming is a new way of solving constraint problems: it allows to propagate constraints of the problem, learning from failure and from the solver (thanks to recording explanations) and finally allows to get rid of backtrack-based complete searches by allowing more free moves in the search space (while remaining complete). This paper presents the PaLM system, an implementation of an explanation-based constraint programming system in choco [16], a constraint programming layer on top of claire [3].
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|