A Poly-algorithmic Quantifier Elimination Package in Maple.

Published in: MC (2019)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
cardinality constraints
constraint databases
first order logic
query processing
constraint satisfaction problems
transitive closure
database