A product information management system as a workbench for quantifier elimination computations with QEPCAD.

Dennis S. Arnon

Published in: ACM Commun. Comput. Algebra (2010)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
cardinality constraints
functional programming
first order logic
constraint databases
database applications
machine learning
search space
query processing
software engineering
programming language
constraint programming