Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.

Zbigniew Stachniak, Anton Belov

Browse the full SAT paper archive.