δ-Complete Decision Procedures for Satisfiability over the Reals.
Sicun GaoJeremy AvigadEdmund M. ClarkePublished in: IJCAR (2012)
Keyphrases
- decision procedures
- modal logic
- automated reasoning
- theorem proving
- reasoning problems
- satisfiability problem
- quantified boolean formulas
- conjunctive queries
- database systems
- presburger arithmetic
- unions of conjunctive queries
- temporal logic
- tight complexity bounds
- database
- special case
- data model
- objective function
- machine learning