The Reduced Product of Abstract Domains and the Combination of Decision Procedures.

Patrick Cousot Radhia Cousot Laurent Mauborgne

Published in: FoSSaCS (2011)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
high level
query containment
quantified boolean formulas
satisfiability problem
databases
special case
default logic
tight complexity bounds