Une recherche locale dirigée par l'analyse de conflits pour la satisfiabilité - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Une recherche locale dirigée par l'analyse de conflits pour la satisfiabilité

Abstract

Cet article présente un algorithme de recherche locale guidée par l'analyse de conflits pour résoudre le problème SAT. L'usage d'une telle analyse, permettrait d'exploiter les dépendances entre les variables particulièrement présentes dans des instances structurées et d'accroître l'effet de la propagation unitaire. Les premiers résultats expérimentaux sont prometteurs.
Fichier principal
Vignette du fichier
JFPC2012HT.pdf (105.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00818035 , version 1 (25-04-2013)

Identifiers

  • HAL Id : hal-00818035 , version 1

Cite

Djamal Habet, Donia Toumi. Une recherche locale dirigée par l'analyse de conflits pour la satisfiabilité. JFPC 2012, May 2012, Toulouse, France. ⟨hal-00818035⟩
77 View
32 Download

Share

Gmail Facebook Twitter LinkedIn More