C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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