Learning in local searchReport as inadecuate




Learning in local search - Download this document for free, or read online. Document in PDF available to download.

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.





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

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



DOWNLOAD PDF




Related documents