Mixed Real-Integer Linear Quantifier Elimination.

Volker Weispfenning

Published in: ISSAC (1999)

Keyphrases

quantifier elimination
constraint query languages
constraint databases
presburger arithmetic
functional programming
constraint propagation
data streams
expressive power
machine learning
general purpose
first order logic
linear constraints