Variant quantifier elimination.

Hoon Hong Mohab Safey El Din

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

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
constraint databases
cardinality constraints
first order logic
constraint query languages
artificial intelligence
general purpose
programming language
boolean algebra