Local Search Algorithms for SAT: An Empirical Evaluation

• 1 January 2000
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 24  (4) , 421-481
• https://doi.org/10.1023/a:1006350622830

Abstract

Keywords

• SAT
• LOCAL SEARCH
• VARIOUS DOMAINS
• PROBLEM DEPENDENT
• SEARCH ALGORITHMS
• EMPIRICAL
• PROBLEMS