Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- cloud computing
- arc consistency
- constraint propagation
- constraint programming
- tree decompositions
- high performance data mining
- tree decomposition
- data intensive
- constraint solving
- parallel processing
- data partitioning
- partial constraint satisfaction
- distributed processing
- np complete
- constraint networks
- special case
- case study
- sat encodings
- information systems
- social networks
- genetic algorithm