论文研究-一种实现最优BDD结构的联合方法 .pdf

【文件属性】：

文件名称：论文研究-一种实现最优BDD结构的联合方法 .pdf

文件大小：357KB

文件格式：PDF

更新时间：2022-09-04 11:29:49

检测技术与自动化装置

一种实现最优BDD结构的联合方法，罗航，王厚军，文章将最优指标顺序的理论和“等价”节点的简化操作方法联合起来，实现了理论和形式都最优的BDD结构。在分析Friedman等人提出的最优B