Optimal Binary Search Trees.

Tobias Nipkow Dániel Somogyi

Published in: Arch. Formal Proofs (2018)

Keyphrases

binary search trees
data structure
parallel algorithm
search tree
optimal solution
kd trees
neural network
search algorithm
dynamic programming
databases
training data
cost function
supply chain
worst case
orders of magnitude