Lock-free Contention Adapting Search Trees.

Kjell Winblad Konstantinos Sagonas Bengt Jonsson

Published in: SPAA (2018)

Keyphrases

search tree
concurrency control
b tree
search algorithm
search space
branch and bound algorithm
branching factor
sat solvers
root node
distributed databases
tree search
symmetry breaking
sat solving
database management systems
data distribution
range queries
lower bound
database systems
heuristic function