Towards an Understanding of Hill-climbing Procedures for SAT (1993)

by I Gent, T Walsh
Venue:In Proceedings of the Eleventh National Conference on Arti cial Intelligence (AAAI'93