Basic Formulation Techniques
Klaus Truemper · 2004
This chapter contains sections titled: Overview Variables and Clauses Redundant Clauses Inconsistent Clauses Validation Decision Pyramid Explanations Accelerated Theorem Proving Decision Graphs Difficult Cases Further Reading Exercises