Decomposition of the Factor Encoding for CSPs.
Chavalit LikitvivatanavongWei XiaRoland H. C. YapPublished in: IJCAI (2015)
Keyphrases
- tree decomposition
- constraint satisfaction problems
- hypertree decomposition
- decomposition methods
- constraint satisfaction
- sat encodings
- decomposition method
- constraint networks
- constraint propagation
- encoding schemes
- constraint programming
- factor analysis
- non binary
- solving constraint satisfaction problems
- multiscale
- encoding scheme
- search space
- objective function