Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Stefano BistarelliUgo MontanariFrancesca RossiThomas SchiexGérard VerfaillieHélène FargierPublished in: Constraints An Int. J. (1999)
Keyphrases
- constraint satisfaction problems
- constraint problems
- constraint satisfaction
- decision diagrams
- solving constraint satisfaction problems
- arc consistency
- constraint propagation
- symmetry breaking
- backtracking algorithm
- search space
- soft constraints
- tree decomposition
- desirable properties
- constraint networks
- hypertree decomposition
- constraint programming
- randomly generated
- databases
- non binary
- distributed environment
- model checking
- np complete
- np hard