Fast Parallel Operations on Search Trees.

Yaroslav Akhremtsev Peter Sanders

Published in: HiPC (2016)

Keyphrases

search tree
depth first search
search space
search algorithm
branch and bound algorithm
branching factor
tree search
sat solvers
shared memory
binary search trees
b tree
symmetry breaking
iterative deepening
lower bound
computational complexity
data structure
root node
neural network