Checking Data Structure Properties Orders of Magnitude Faster.

Emmanouil Koukoutos Viktor Kuncak

Published in: RV (2014)

Keyphrases

orders of magnitude faster
data structure
times faster
neural network
suffix tree
artificial intelligence
multiscale
search algorithm
computational complexity