Tree Automata with Global Constraints.
Emmanuel FiliotJean-Marc TalbotSophie TisonPublished in: Int. J. Found. Comput. Sci. (2010)
Keyphrases
- global constraints
- tree automata
- finite automata
- regular expressions
- constraint programming
- finite state
- constraint satisfaction problems
- tree languages
- finite automaton
- weighted constraint satisfaction
- parameterized complexity
- integer programming
- context free grammars
- markov chain
- constraint satisfaction
- databases
- arc consistency
- conceptual model
- model checking
- database