Improving LSM-trie performance by parallel search.

Wen Cheng Tao Guo Lingfang Zeng Yang Wang Lars Nagel Tim Süß André Brinkmann

Published in: Softw. Pract. Exp. (2020)

Keyphrases

parallel search
theorem proving
data structure
case study
real world
image processing
dynamic programming
theorem prover