Quantifier elimination by cylindrical algebraic decomposition based on regular chains.

Changbo Chen Marc Moreno Maza

Published in: ISSAC (2014)

Keyphrases

quantifier elimination
presburger arithmetic
constraint propagation
functional programming
constraint databases
algebraic structure
first order logic
cardinality constraints
databases
artificial intelligence
database
search algorithm
general purpose
np complete