Recognizing depth-first-search trees in parallel.

Jia-Shung Wang Biing-Feng Wang Chen-Hsing Peng

Published in: IPPS (1995)

Keyphrases

search tree
depth first search
search algorithm
search space
iterative deepening
branch and bound algorithm
branching factor
tree search
sat solvers
root node
branch and bound search
b tree
symmetry breaking
heuristic function
binary search trees
particle swarm optimization
upper bound
genetic algorithm