(No)good Recording and ROBDDs for Solving Structured (V)CSPs.
Karim BoutalebPhilippe JégouCyril TerriouxPublished in: ICTAI (2006)
Keyphrases
- backtracking algorithm
- constraint problems
- constraint satisfaction problems
- partial constraint satisfaction
- constraint satisfaction
- structured data
- constraint solvers
- solving constraint satisfaction problems
- constraint programming
- combinatorial optimization
- sat encodings
- distributed constraint satisfaction
- constraint propagation
- solving problems
- distributed constraint satisfaction problems
- neural network
- dynamic constraint satisfaction problems