Local Search Characteristics of Incomplete SAT Procedures
Artificial Intelligence - Netherlands
doi 10.1016/s0004-3702(01)00151-5
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2001
Authors
Publisher
Elsevier BV
Available in full text
November 1, 2001
Elsevier BV