CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.

Shaowei Cai, Chuan Luo, Kaile Su

Browse the full SAT paper archive.