Quantifier Elimination via Functional Composition.

Jie-Hong R. Jiang

Published in: CAV (2009)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
cardinality constraints
constraint databases
artificial intelligence
machine learning
search algorithm
np complete