Une recherche locale dirigée par lanalyse de conflits pour la satisfiabilitéReport as inadecuate




Une recherche locale dirigée par lanalyse de conflits pour la satisfiabilité - Download this document for free, or read online. Document in PDF available to download.

1 LSIS - Laboratoire des Sciences de l-Information et des Systèmes

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.





Author: Djamal Habet - Donia Toumi -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents