Depth First Search.

Toshiaki Nishihara Yasuhiko Minamide

Published in: Arch. Formal Proofs (2004)

Keyphrases

depth first search
breadth first search
search tree
iterative deepening
routing problem
branch and bound
genetic algorithm
search algorithm
dynamic programming
scheduling problem
linear programming
tree search
parallel tree search