Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Stefano BistarelliHélène FargierUgo MontanariFrancesca RossiThomas SchiexGérard VerfailliePublished in: Over-Constrained Systems (1995)
Keyphrases
- constraint satisfaction problems
- constraint problems
- constraint satisfaction
- decision diagrams
- arc consistency
- solving constraint satisfaction problems
- constraint propagation
- soft constraints
- backtracking algorithm
- partial constraint satisfaction
- hypertree decomposition
- constraint programming
- neural network
- search space
- symmetry breaking
- tree decomposition
- path consistency
- non binary
- np hard
- multi valued
- structural properties
- databases
- special case
- max sat
- sat problem
- constraint networks
- np complete
- desirable properties
- state space
- randomly generated
- inference rules
- forward checking
- relational databases
- graph theory
- data sets