Génération d'explications de contraintes globales par leur décompositions
Arthur Gontier  1@  , Charles Prud'homme  2@  , Charlotte Truchet  3  
1 : Embedded Security and Cryptography / Sécurité cryptographie embarquée
SYSTÈMES LARGE ÉCHELLE
2 : Théorie, Algorithmes et Systèmes en Contraintes
Laboratoire des Sciences du Numérique de Nantes
3 : Laboratoire des Sciences du Numérique de Nantes  (LS2N)
Université de Nantes, Ecole Centrale de Nantes, Centre National de la Recherche Scientifique : UMR6004, IMT Atlantique Bretagne-Pays de la Loire
Université de Nantes – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3 -  France

Apprendre des échecs peut permettre d'améliorer la résolution de problèmes modélisés en Programmation par Contraintes. Depuis les adaptations de l'algorithme CDCL aux solveurs CP, une clause expliquant un échec peut être construite dès lors que toutes les contraintes impliquées sont expliquées. L'explication d'une contrainte détermine tous les évènements responsables d'un filtrage de cette contrainte. Malheureusement, expliquer chaque contrainte est une tâche fastidieuse, souvent complexe pour les contraintes globales. Dans ce résumé, nous présentons une méthode basée sur la réécriture pour générer automatiquement des explications depuis un langage de décomposition simple et extensible.


Personnes connectées : 1 Vie privée
Chargement...