The Variance of The Profile in Digital Search Trees.

Ramin Kazemi Mohammad Q. Vahidi-Asl

Published in: Discret. Math. Theor. Comput. Sci. (2011)

Keyphrases

search tree
search algorithm
search space
b tree
branch and bound algorithm
symmetry breaking
tree search
root node
branching factor
sat solvers
binary search trees
heuristic function
sat solving