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

by F Hutter, D Tompkins, H Hoos
Venue:In proceedings of CP