Compiling CSPs into Tree-Driven Automata for Interactive Solving.
Hélène FargierMarie-Catherine VilaremPublished in: Constraints An Int. J. (2004)
Keyphrases
- backtracking algorithm
- constraint satisfaction problems
- partial constraint satisfaction
- constraint problems
- tree automata
- constraint graph
- tree structure
- constraint satisfaction
- user friendly
- constraint propagation
- data driven
- cellular automata
- arc consistency
- regular expressions
- finite automata
- search space
- distributed constraint satisfaction
- path consistency
- tree search
- non binary
- constraint networks
- finite state
- finite state machines
- search tree
- graph coloring
- product configuration
- constraint programming
- combinatorial optimization
- computer graphics
- pattern matching
- search algorithm
- b tree