Applying Linear Quantifier Elimination.

Rüdiger Loos Volker Weispfenning

Published in: Comput. J. (1993)

Keyphrases

quantifier elimination
constraint query languages
constraint propagation
functional programming
constraint databases
presburger arithmetic
first order logic
cardinality constraints
boolean algebra
artificial intelligence
high level
expert systems