Simulation and Optimization by Quantifier Elimination.

Volker Weispfenning

Published in: J. Symb. Comput. (1997)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
optimization problems
cardinality constraints
constraint databases
database
expert systems
software engineering
programming language
database design