Towards Generic Scalable Parallel Combinatorial Search.
Blair ArchibaldPatrick MaierRobert J. StewartPhil TrinderJan De BeulePublished in: PASCO@ISSAC (2017)
Keyphrases
- combinatorial search
- data parallelism
- parallel tree search
- theorem proving
- search space
- search algorithm
- shared memory
- search strategy
- search problems
- parallel processing
- combinatorial problems
- combinatorial optimization
- distributed memory
- subgraph isomorphism
- metaheuristic
- parallel algorithm
- search strategies
- depth first search
- lower bound
- object recognition