An empirical study of greedy local search strategies for satisfiability testing (1993)

by B Selman, H A Kautz
Venue:Proc. AAAI-93