Login / Signup

Non-blocking interpolation search trees with doubly-logarithmic running time.

Trevor BrownAleksandar ProkopecDan Alistarh
Published in: PPoPP (2020)
Keyphrases
  • search tree
  • search algorithm
  • branch and bound algorithm
  • search space
  • b tree
  • branching factor
  • tree search
  • binary search trees
  • databases
  • root node
  • database
  • lower bound
  • sat solvers
  • symmetry breaking
  • branch and bound