An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)

Pierre Wolper Bernard Boigelot

Published in: SAS (1995)

Keyphrases

extended abstract
presburger arithmetic
quantifier elimination
constraint satisfaction
constraint programming
global constraints
cardinality constraints
query processing
cellular automata
temporal information
algebraic structure