Parallel Batched Interpolation Search Tree.

Vitaly Aksenov Ilya Kokorin Alena Martsenyuk

Published in: CoRR (2021)

Keyphrases

search tree
depth first search
search algorithm
search space
branch and bound algorithm
tree search
branching factor
iterative deepening
root node
b tree
database
sat solvers
data model
lower bound
np hard
management system
binary search trees