An Empirical Study of Optimal Noise and Runtime Distributions in Local Search.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Browse the full SAT paper archive.