一种快速证明布尔等价的算法
-
1吴向军.可满足性问题有解的充要条件[J].软件学报,1997,8(A00):87-91.
-
2朱洪,魏景东.一般布尔表达式转化成合取范式的复杂性注记[J].微电子学与计算机,1990,7(4):11-12.
-
3席时达.逻辑代数在功能表图中的应用[J].上海机械高等专科学校学报,1994,8(1):46-54.
-
4杨旭超,李文豪.基于generalized dominator的BDD布尔表达式优化分解[J].电脑知识与技术,2006,1(3):172-173.
-
5宗莲松.基于改进模糊集合方法的用户查询词扩展的信息检索[J].西华大学学报（自然科学版）,2012,31(4):42-48. 被引量：1
-
6王纪良,胡谋.基于多值开关级代数的逻辑设计自动化[J].上海铁道学院学报,1994,15(4):22-30.
-
7王海涛,吴宜灿,丁厚本,刘萍,胡丽琴,张士杰,李亚洲.核电厂PSA中事故序列后果分析方法研究[J].原子能科学技术,2008,42(8):724-728. 被引量：2
;
