Scaling and probabilistic smoothing: Efficient dynamic local search for SAT (2002)

by F Hutter, D A D Tompkins, H H Hoos
Venue:In Eighth International Conference on Principles and Practice of Constraint Programming (CP’02