Encoding CSP into CCS.
Meike HatzelChristoph WagnerKirstin PetersUwe NestmannPublished in: EXPRESS/SOS (2015)
Keyphrases
- constraint satisfaction problems
- sat encodings
- constraint satisfaction
- encoding schemes
- decomposition methods
- search space
- constraint programming
- variable length
- fractal image compression
- arc consistency algorithm
- real time
- hypertree decomposition
- constraint solving
- encoding scheme
- sat problem
- non binary
- constraint networks
- arc consistency
- constraint propagation
- orders of magnitude
- np complete