Practical concurrent traversals in search trees.

Dana Drachsler-Cohen Martin T. Vechev Eran Yahav

Published in: PPOPP (2018)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
tree search
branching factor
information retrieval
b tree
sat solvers
state space