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

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

Document Versions

Towards an understanding of hill-climbing procedures for SAT –Ian P. Gent, Toby Walsh Y — 1993 — In Proceedings of AAAI-93
Towards an Understanding of Hill-climbing Procedures for SAT –Ian P. Gent, Toby Walsh — 1993