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

by I P Gent, T Walsh
Venue:Proceedings of the Eleventh National Conference on Artificial Intelligence,