The PaLM system: explanation-based constraint programming - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

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].
Fichier principal
Vignette du fichier
DDD.pdf (153.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04031165 , version 1 (15-03-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04031165 , version 1

Citer

Narendra Jussien, Vincent Barichard. The PaLM system: explanation-based constraint programming. TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference of CP 2000, Sep 2000, Singapour, Singapore. pp.118-133. ⟨hal-04031165⟩
33 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More