Formula dissection: A parallel algorithm for constraint satisfaction.
John H. ReifSimon KasifDeepak SherlekarPublished in: Comput. Math. Appl. (2008)
Keyphrases
- parallel algorithm
- constraint satisfaction
- constraint satisfaction problems
- phase transition
- heuristic search
- parallel computation
- shared memory
- russian doll search
- arc consistency
- soft constraints
- constraint solving
- binary search trees
- robust fault detection
- constraint programming
- constraint relaxation
- constraint propagation
- sat solvers
- parallel version
- cluster of workstations
- medial axis transform