Lazy Decomposition for Distributed Decision Procedures
Youssef HamadiJoão Marques-SilvaChristoph M. WintersteigerPublished in: PDMC (2011)
Keyphrases
- decision procedures
- theorem proving
- modal logic
- automated reasoning
- distributed systems
- reasoning problems
- multi agent
- decomposition method
- quantified boolean formulas
- tight complexity bounds
- satisfiability problem
- inductive logic programming
- first order logic
- search space
- query containment
- database
- containment of conjunctive queries