A Framework for Verifying Depth-First Search Algorithms.

Peter Lammich René Neumann

Published in: CPP (2015)

Keyphrases

search algorithm
main contribution
search strategy
search tree
learning algorithm
theoretical framework
branch and bound
search methods
orders of magnitude
tabu search
alpha beta
iterative deepening