Presburger Arithmetic With Array Segments.

Published in: Inf. Process. Lett. (1981)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
cardinality constraints
first order logic
constraint databases
databases
feature vectors
constraint satisfaction
theorem proving
functional programming