Skip to Main content Skip to Navigation
Conference papers

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

Résumé : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00818035
Contributor : Djamal Habet <>
Submitted on : Thursday, April 25, 2013 - 9:33:01 PM
Last modification on : Monday, March 30, 2020 - 8:53:41 AM
Long-term archiving on: : Friday, July 26, 2013 - 4:05:18 AM

File

JFPC2012HT.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00818035, version 1

Citation

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⟩

Share

Metrics

Record views

154

Files downloads

56