Composing decision procedures: the approach and a case study.

Mauro Di Manzo Paolo Pecchiari

Published in: AI*IA (1995)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
database
databases
fixpoint
quantified boolean formulas
knowledge representation
first order logic
satisfiability problem
sat solvers
tight complexity bounds