Lazy Search Trees.

Bryce Sandlund Sebastian Wild

Published in: FOCS (2020)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
b tree
tree search
branching factor
root node
upper bound
cost function
data management
similarity search
heuristic search
sat solvers
binary search trees