Complete local search for propositional satisfiability (2004)

by H Fang, W Ruml
Venue:In Nineteenth National Conference on Artificial Intelligence