Presburger Arithmetic with Bounded Quantifier Alternation

C. R. Reddy Donald W. Loveland

Published in: STOC (1978)

Keyphrases

quantifier elimination
presburger arithmetic
constraint propagation
functional programming
constraint databases
cardinality constraints
first order logic
general purpose
database systems
expert systems
feature vectors
constraint satisfaction problems
constraint programming
temporal data
linear constraints