"Local Search for Unsatisfiability."

Steven David Prestwich, Inês Lynce (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics