External Profile of Symmetric Digital Search Trees (Extended Abstract).

Michael Drmota Michael Fuchs Hsien-Kuei Hwang Ralph Neininger

Published in: ANALCO (2017)

Keyphrases

extended abstract
search tree
search algorithm
search space
branch and bound algorithm
tree search
branching factor
sat solvers
binary search trees
heuristic function
root node
database
orders of magnitude
symmetry breaking