正规式布尔函数NPN等价匹配算法

张菊玲, 郭文强, 杨晓梅, 朱义鑫, 杨国武

电子科技大学学报 . 2023, (01): 102 -107 .