Dale Schuurmans, Finnegan Southey. Local Search Characteristics of Incomplete SAT Procedures. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 297-302, AAAI Press / The MIT Press, 2000.
No references recorded for this publication.
No citations of this publication recorded.