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.
Type de document :
Communication dans un congrès
JFPC 2012, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00818035
Contributeur : Djamal Habet <>
Soumis le : jeudi 25 avril 2013 - 21:33:01
Dernière modification le : jeudi 15 mars 2018 - 16:56:06
Document(s) archivé(s) le : vendredi 26 juillet 2013 - 04:05:18

Fichier

JFPC2012HT.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00818035, version 1

Collections

Citation

Djamal Habet, Donia Toumi. Une recherche locale dirigée par l'analyse de conflits pour la satisfiabilité. JFPC 2012, May 2012, Toulouse, France. 2012. 〈hal-00818035〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

39