Verifying concurrent search structure templates.

Siddharth Krishna Nisarg Patel Dennis E. Shasha Thomas Wies

Published in: PLDI (2020)

Keyphrases

search algorithm
search space
search efficiency
machine learning
website
structural information
search methods
search strategies
information systems
evolutionary algorithm
tree structure
hierarchical structure
indexing structure