Decomposition and Good Recording for Solving Max-CSPs.
Philippe JégouCyril TerriouxPublished in: ECAI (2004)
Keyphrases
- constraint satisfaction problems
- backtracking algorithm
- constraint problems
- tree decomposition
- constraint satisfaction
- decomposition methods
- partial constraint satisfaction
- arc consistency
- search space
- solving constraint satisfaction problems
- distributed constraint satisfaction problems
- hypertree decomposition
- constraint networks
- configuration problems
- neural network
- non binary
- constraint propagation
- branch and bound
- video recordings
- special case
- sat encodings