Towards an understainding of hill-climbing procedures for sat (1993)

by I P Gent, T Walsh
Venue:In Proc. AAAI