Resolution versus Search: Two Strategies for SAT

• 1 January 2000
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 24  (1/2) , 225-275
• https://doi.org/10.1023/a:1006303512524

Abstract

Keywords

• RESOLUTION
• PROPOSITIONAL
• SOLVING
• SATISFIABILITY
• BACKTRACKING
• TWO STRATEGIES
• STRATEGIES FOR SAT
• POPULAR STRATEGIES