Complete local search for propositional satisfiability (0)

by H Fang, W Ruml
Venue:in Proceedings of the Nineteenth National Conference in Artificial Intelligence (AAAI’04), 2004. [Online]. Available: citeseer.ist.psu.edu/fang04complete.html