Login / Signup

On nested depth first search.

Gerard J. HolzmannDoron A. PeledMihalis Yannakakis
Published in: The Spin Verification System (1996)
Keyphrases
  • depth first search
  • breadth first search
  • search tree
  • routing problem
  • iterative deepening
  • branch and bound
  • tree search
  • spanning tree
  • global optimization