Journal of automated reasoning. 1999;22(2):149-170. doi: 10.1023/a:1005940031099 Q40.72025
An Efficient Algorithm to Generate Prime Implicants
一种生成主蕴涵项的高效算法
DOI: 10.1023/a:1005940031099
摘要 查看摘要
Journal of automated reasoning. 1999;22(2):149-170. doi: 10.1023/a:1005940031099 Q40.72025
DOI: 10.1023/a:1005940031099
摘要 查看摘要