A Poly-algorithmic Approach to Quantifier Elimination.
James H. DavenportZak P. TonksAli Kemal UncuPublished in: CoRR (2023)
Keyphrases
- quantifier elimination
- constraint propagation
- presburger arithmetic
- functional programming
- first order logic
- cardinality constraints
- constraint databases
- constraint query languages
- high level
- inference rules
- natural language
- expressive power
- fixed point
- relational model
- query optimization
- linear programming
- knowledge representation
- query processing
- relational databases
- database systems
- database