Partial Quantifier Elimination.

Eugene Goldberg Panagiotis Manolios

Published in: Haifa Verification Conference (2014)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
cardinality constraints
first order logic
constraint databases
constraint query languages
constraint programming
query language
database
constraint satisfaction problems