Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism - Zheng, Ziyang; Li, Kezhi; Shi, Zhengyuan; Xu, Qiang (Advances in Neural Information Processing Systems, 2025)