Analysis of Two Simple Heuristics on a Random Instance ofk-sat

• 31 March 1996
• journal article
• Published by Elsevier in Journal of Algorithms
• Vol. 20  (2) , 312-355
• https://doi.org/10.1006/jagm.1996.0016

Abstract

Keywords

• NP COMPLETE PROBLEMS
• CONJUNCTIVE NORMAL FORM
• ALGEBRA
• SATISFIABILITY