Quantifier Elimination for Formulas Constrained by Quadratic Equations.
Hoon HongPublished in: ISSAC (1993)
Keyphrases
- quantifier elimination
- quantifier free
- constraint propagation
- functional programming
- presburger arithmetic
- cardinality constraints
- first order logic
- constraint databases
- mathematical model
- database
- computational complexity
- objective function
- programming language
- general purpose
- relational databases
- search algorithm
- machine learning
- databases