07401 Executive Summary -- Deduction and Decision Procedures.

Franz Baader Byron Cook Jürgen Giesl Robert Nieuwenhuis

Published in: Deduction and Decision Procedures (2007)

Keyphrases

decision procedures
theorem proving
automated reasoning
inference rules
modal logic
theorem prover
first order logic
reasoning problems
model theoretic
satisfiability problem
quantified boolean formulas
tight complexity bounds