本文描述了如何使用操作树来对公式进行相似
2021-07-17
读论文——Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator Subtrees