On the existence of special depth first search trees.

Ephraim Korach Zvi Ostfeld

Published in: J. Graph Theory (1995)

Keyphrases

search tree
search algorithm
branch and bound algorithm
depth first search
iterative deepening
search space
branching factor
tree search
sat solvers
branch and bound search
information retrieval
symmetry breaking
lower bound
b tree
branch and bound
dynamic programming
binary search trees
root node
optimal solution