Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. CP 2002: 233-248