Ian P. Gent Toby Walsh Towards an Understanding of Hill-Climbing Procedures for SAT. 28-33 1993 AAAI db/conf/aaai/aaai93.html#GentW93