Local search strategies for satis testing (1995)

by B Selman, H Kautz, B Cohen
Venue:In AAAI-92: Proceedings 10th National Conference on AI. American Mathematical Society