Modeling Robustness in CSPs as Weighted CSPs.
Laura ClimentRichard J. WallaceMiguel A. SalidoFederico BarberPublished in: CPAIOR (2013)
Keyphrases
- constraint satisfaction problems
- arc consistency
- constraint propagation
- constraint satisfaction
- solving constraint satisfaction problems
- non binary
- tree decomposition
- hypertree decomposition
- symmetry breaking
- partial constraint satisfaction
- np complete
- search space
- constraint networks
- backtracking algorithm
- constraint graph
- temporal constraints
- temporal reasoning
- constraint programming
- constraint problems
- ordering heuristics
- space complexity
- data mining
- computational efficiency
- objective function
- information systems
- information retrieval