Parallel-batched Interpolation Search Tree.

Ilya Kokorin Vitaly Aksenov Alena Martsenyuk

Published in: CoRR (2023)

Keyphrases

search tree
depth first search
search algorithm
search space
branch and bound algorithm
b tree
tree search
branching factor
binary search trees
iterative deepening
root node
sat solvers
orders of magnitude
database
multi dimensional
heuristic search