Local search strategies for satis ability testing (1996)

by B Selman, H Kautz, B Cohen
Venue:DIMACS Series in Discrete Mathematics and Theoretical Computer Science