An empirical analysis of search in GSAT (1993)

by I Gent, T Walsh
Venue:Journal of Artificial Intelligence Research