A New CSP Operator for Optional Parallelism.
Stefan GrunerDerrick G. KourieMarkus RoggenbachTinus StraussBruce W. WatsonPublished in: CSSE (2) (2008)
Keyphrases
- constraint satisfaction problems
- parallel processing
- constraint satisfaction
- decomposition methods
- tree decomposition
- constraint propagation
- computational power
- massively parallel
- parallel computation
- arc consistency algorithm
- search space
- hypertree decomposition
- differential operators
- parallel execution
- sat problem
- parallel computing
- shared memory
- np hard