| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [10 references]
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
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)