On Projection in CAD-Based Quantifier Elimination with Equational Constraint.
Scott McCallumPublished in: ISSAC (1999)
Keyphrases
- quantifier elimination
- cardinality constraints
- constraint databases
- presburger arithmetic
- constraint propagation
- linear constraints
- functional programming
- first order logic
- theorem proving
- functional dependencies
- theorem prover
- design process
- computational complexity
- object oriented
- constraint programming
- object oriented programming
- entity relationship
- computer graphics
- global constraints
- execution model
- objective function
- database schema