Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis

Résumé

Certains travaux en cours sur les solveurs de contraintes dans les domaines finis concernent l'implantation d'une trace XML du calcul, selon la DTD OADymPPaC (par exemple en GNU-Prolog, PaLM, CHIP). A cause de la grande taille des traces, même pour de petits exemples jouets, on a besoin d'outils pour comprendre cette trace. Des explications de retrait de valeurs (ou nogoods) pendant la réduction de domaine sont utilisées par certains solveurs en programmation par contraintes dans l es domaines finis. Dans ce papier, nous utilisons une formalisation des explications par des arbres de preuve dans un cadre point fixe basé sur l'itération d'opérateurs monotones de consistance locale. Les arbres de preuve donnent une vue déclarative des calculs par propagation de contrainte. Nous montrons comment des explications peuvent être extraites de façon naturelle du format de trace OADymPPaC. Les explications permettent une meilleure compréhension des réductions de domaine dans la trace.
Fichier principal
Vignette du fichier
jfplc2004.pdf (144.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00085554 , version 1 (02-09-2010)

Identifiants

  • HAL Id : hal-00085554 , version 1

Citer

Gérard Ferrand, Willy Lesaint, Alexandre Tessier. Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis. Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, 2004, France. pp.37-53. ⟨hal-00085554⟩
78 Consultations
45 Téléchargements

Partager

Gmail Facebook X LinkedIn More