Complete Local Search for Propositional Satisfiability.

Hai Fang, Wheeler Ruml

Browse the full AAAI paper archive.