Structural Tractability of Enumerating CSP Solutions.
Gianluigi GrecoFrancesco ScarcelloPublished in: CP (2010)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- combinatorial problems
- np complete
- benchmark problems
- data sets
- tree decomposition
- optimal solution
- constraint propagation
- structural information
- arc consistency
- special case
- partial solutions
- efficient solutions
- search space
- constraint problems
- solving constraint satisfaction problems
- finding optimal solutions