Une recherche locale dirigée par lanalyse de conflits pour la satisfiabilitéReportar como inadecuado




Une recherche locale dirigée par lanalyse de conflits pour la satisfiabilité - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





Autor: Djamal Habet - Donia Toumi -

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



DESCARGAR PDF




Documentos relacionados