Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.

Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos

Browse the full CP paper archive.