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

by Ian P. Gent, Toby Walsh Y
Venue:In Proceedings of AAAI-93