"Improving Local Search for Satisfiability Problem by Integrating ..."

Djamal Habet, Michel Vasquez (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics