Infinitary Parallelism without Unbounded Nondeterminism in CSP.
K. Narayan KumarParitosh K. PandyaPublished in: Acta Informatica (1993)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- situation calculus
- shared memory
- tree decompositions
- parallel processing
- constraint programming
- constraint propagation
- arc consistency
- computational power
- parallel computing
- tree decomposition
- planning domains
- np complete
- arc consistency algorithm
- massively parallel
- constraint networks
- constraint problems
- fine grain
- constraint graph
- level parallelism
- optimal solution
- partial constraint satisfaction