The tractability of CSP classes defined by forbidden patterns
David A. CohenMartin C. CooperPáidí CreedAndrás Z. SalamonPublished in: CoRR (2011)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- tractable classes
- constraint programming
- tractable cases
- constraint problems
- similar patterns
- state space
- pattern discovery
- np hard
- decomposition methods
- algebraic operations
- tree decompositions
- tree decomposition
- pattern languages
- arc consistency
- temporal patterns