Decision Procedures for Theories of Sets with Measures.

Markus Bender Viorica Sofronie-Stokkermans

Published in: CADE (2017)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
quantified boolean formulas
satisfiability problem
model theoretic
presburger arithmetic
data mining
objective function
integrity constraints
query containment