Login / Signup
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