Representing Arithmetic Constraints with Finite Automata: An Overview.

Bernard Boigelot Pierre Wolper

Published in: ICLP (2002)

Keyphrases

finite automata
arithmetic constraints
regular expressions
deterministic automata
grammatical inference
constraint satisfaction problems
arc consistency
search space
finite automaton
special case
hidden markov models
structured data
constraint programming
space complexity
relational calculus