TY  - RPRT
TI  - Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism
AU  - Ziyang Zheng
AU  - Kezhi Li
AU  - Zhengyuan Shi
AU  - Qiang Xu
PY  - 2025
UR  - https://arxiv.org/abs/2505.21988
ID  - 2505.21988
ER  -