Decision Procedures

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic;