Frank Hutter Dave A. D. Tompkins Holger H. Hoos Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. 233-248 2002 conf/cp/2002 CP http://link.springer.de/link/service/series/0558/bibs/2470/24700233.htm db/conf/cp/cp2002.html#HutterTH02