Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition.

Christopher W. Brown

Published in: ISSAC (2017)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
constraint databases
first order logic
cardinality constraints
constraint programming
databases
database systems
object oriented
data management
expressive power