On Self-stabilizing Search Trees.

Doina Bein Ajoy Kumar Datta Lawrence L. Larmore

Published in: DISC (2006)

Keyphrases

search tree
search algorithm
branch and bound algorithm
search space
branching factor
b tree
tree search
root node
sat solvers
lower bound
branch and bound
binary search trees
information retrieval
optimal solution
heuristic function