A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. - Juling Zhang; Guowu Yang; William N. N. Hung; Jinzhao Wu; Yixin Zhu 005 (Symmetry, 2019)

A Heuristic Boolean NPN Equivalent Matching Verification Method Based on Shannon Decomposition. - Juling Zhang; Wenqiang Guo; Guowu Yang; Yixin Zhu 005; Xiaoyi Lv (IEEE Access, 2022)