Quantifier Elimination for Linear Modular Constraints.

Ajith K. John Supratik Chakraborty

Published in: ICMS (2014)

Keyphrases

quantifier elimination
constraint query languages
cardinality constraints
constraint databases
quantifier free
linear constraints
constraint propagation
boolean algebra
expressive power
presburger arithmetic
functional programming
first order logic
constraint satisfaction
query language