@inproceedings{0f1b98eae6f24a4b9b5b35e8a627a0e5,
title = "Accelerating Substructure Similarity Search for Formula Retrieval",
abstract = "Formula retrieval systems using substructure matching are effective, but suffer from slow retrieval times caused by the complexity of structure matching. We present a specialized inverted index and rank-safe dynamic pruning algorithm for faster substructure retrieval. Formulas are indexed from their Operator Tree (OPT) representations. Our model is evaluated using the NTCIR-12 Wikipedia Formula Browsing Task and a new formula corpus produced from Math StackExchange posts. Our approach preserves the effectiveness of structure matching while allowing queries to be executed in real-time.",
author = "Wei Zhong and Shaurya Rohatgi and Jian Wu and Giles, {C. Lee} and Richard Zanibbi",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 42nd European Conference on IR Research, ECIR 2020 ; Conference date: 14-04-2020 Through 17-04-2020",
year = "2020",
doi = "10.1007/978-3-030-45439-5_47",
language = "English (US)",
isbn = "9783030454388",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "714--727",
editor = "Jose, {Joemon M.} and Emine Yilmaz and Jo{\~a}o Magalh{\~a}es and Fl{\'a}vio Martins and Pablo Castells and Nicola Ferro and Silva, {M{\'a}rio J.}",
booktitle = "Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Proceedings",
}