Conflict analysis in CP solving: Explanation generation from constraint decomposition - IMT Atlantique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Conflict analysis in CP solving: Explanation generation from constraint decomposition

Résumé

The interest of Conflit-Driven Clause Learning (CDCL) [7] in SAT solving is well established. An adaptation of CDCL to Constraint Programming have been introduced in [14,15]. However, for the algorithm to run on global constraints, there is still a need to specify for each of them the explanation rules. This is a huge obstacle on its standardisation in off-the-shelf solvers. In this paper, we propose a method to automatically generate explanation rules from any constraint decomposition.
Fichier principal
Vignette du fichier
CPTAI_2020_paper_3.pdf (295.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03179630 , version 1 (24-03-2021)

Identifiants

  • HAL Id : hal-03179630 , version 1

Citer

Arthur Gontier, Charlotte Truchet, Charles Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium. ⟨hal-03179630⟩
60 Consultations
198 Téléchargements

Partager

Gmail Facebook X LinkedIn More