Structural tractability of enumerating CSP solutions.
Gianluigi GrecoFrancesco ScarcelloPublished in: Constraints An Int. J. (2013)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- np complete
- optimal solution
- structural information
- constraint programming
- combinatorial problems
- structural features
- solution space
- arc consistency algorithm
- decomposition methods
- arc consistency
- constraint propagation
- solution quality
- benchmark problems
- database
- website