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