Quantifier Elimination for Database Driven Verification.
Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey RivkinPublished in: CoRR (2018)
Keyphrases
- database driven
- quantifier elimination
- constraint propagation
- functional programming
- presburger arithmetic
- cardinality constraints
- constraint databases
- design patterns
- first order logic
- artificial intelligence
- user friendly
- relational databases
- linear programming
- constraint satisfaction problems
- temporal constraints