Towards an Understanding of Hill-Climbing Procedures for SAT.

Ian P. Gent, Toby Walsh

Browse the full AAAI paper archive.