Combining Adaptive Noise and Look-Ahead in Local Search for SAT.

Chu Min Li, Wanxia Wei, Harry Zhang

Browse the full SAT paper archive.