Parallel backtracking with answer memoing for independent and-parallelism.
Pablo Chico de GuzmánAmadeo CasasManuel CarroManuel V. HermenegildoPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- shared memory
- parallel processing
- data parallelism
- parallel computation
- parallel execution
- massively parallel
- parallel computing
- coarse grain
- level parallelism
- parallel computers
- search algorithm
- multiple independent
- fine grain
- parallel architectures
- constraint satisfaction
- processing elements
- parallel programming
- message passing interface
- search space
- multi core systems
- distributed memory
- constraint propagation
- search tree
- answering queries
- databases
- computational power
- parallel implementation
- case study
- parallel hardware
- learning algorithm