An empirical analysis of search in gsat (1993)

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