Un cadre général pour l'analyse de conflits - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Un cadre général pour l'analyse de conflits

Lucas Bordeaux
  • Fonction : Auteur
  • PersonId : 840367
Youssef Hamadi
  • Fonction : Auteur
  • PersonId : 840368
Said Jabbour
Lakhdar Saïs

Résumé

Cet article présente plusieurs contributions au "Conflict Driven Clauses Learning" (CDCL), qui est une des composantes clés des solveurs SAT modernes. Tout d'abord, nous montrons que, à partir du graphe d'implication, les clauses assertives obtenues en utilisant le principe du premier point d'implication unique ("First Unique Implication Point" (FUIP)) sont optimales en terme de saut arrière. Puis nous proposons une extension du graphe d'implication contenant de nouveaux arcs appelés arcs arrières. Ces arcs sont obtenus en tenant compte des clauses satisfaites qui sont habituellement ignorées par l'analyse du conflit. Cette extension capture plus fidèlement l'ensemble du processus de propagation et ouvre de nouvelles perspectives pour les approches fondées sur CDCL. Entre autres avantages, notre extension du graphe d'implication conduit à un nouveau schéma d'analyse des conflits qui exploite les arcs ajoutés et permet des retours arrières plus haut dans l'arbre de recherche. Les résultats expérimentaux montrent que l'intégration de notre système d'analyse des conflits généralisés au sein de solveurs dernier-cri améliore sensiblement leurs performances.
Fichier principal
Vignette du fichier
pages-267-276-article52.pdf (361.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00292660 , version 1 (02-07-2008)

Identifiants

  • HAL Id : inria-00292660 , version 1

Citer

Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Said Jabbour, Lakhdar Saïs. Un cadre général pour l'analyse de conflits. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.267-276. ⟨inria-00292660⟩
71 Consultations
86 Téléchargements

Partager

Gmail Facebook X LinkedIn More