Towards an understanding of hill-climbing procedures for SAT (1993)

by I P Gent, T Walsh
Venue:In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI’93