Improved Local Search for Circuit Satisfiability.

Anton Belov, Zbigniew Stachniak

Browse the full SAT paper archive.