Learning in local searchReportar como inadecuado

Learning in local search - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CRIL - Centre de Recherche en Informatique de Lens

Abstract : In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning CDCL scheme to local search. First an extended implica- tion graph for complete assignments of the set of variables is proposed. Secondly, a unit propagation based technique for building and using such implication graph is designed. Finally, we show how this new learning scheme can be in- tegrated to the state-of-the-art local search solver WSAT. Interestingly enough, the obtained local search approach is able to prove unsatisfiability. Experimental results show very good performances on many classes of SAT instances from the last SAT competitions.

Autor: Gilles Audemard - Jean-Marie Lagniez - Bertrand Mazure - Lakhdar Saïs -

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


Documentos relacionados