Stratified Balanced Search Trees.

Jan van Leeuwen Mark H. Overmars

Published in: Acta Informatica (1982)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
tree search
b tree
root node
sat solvers
symmetry breaking
branching factor
lower bound
evolutionary algorithm
nearest neighbor
constraint satisfaction problems