Jon T.巴特勒。；佐佐、通武 斐波那契函数二元决策图中的平均节点数。 （英语） Zbl 0865.05005号 斐波那契Q。 34，第5期，413-422（1996）. 审核人：I.斯特拉兹丁斯（里加） MSC公司：2015年1月5日 2016年1月5日 68卢比 06E30年 11层39 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Butler}和textit{T.Sasao}，斐波纳契Q.34，第5期，413--422（1996；Zbl 0865.05005）
萧佩荣；Ruey-Tzer Liaw；苏贞元 使用有序二元决策图分解多级逻辑。 （英语） Zbl 0861.94037号 电路系统。信号处理。 15，第3期，361-376（1996）.MSC公司：94立方厘米 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.-Y.Xiao}等人，《电路系统》。信号处理。15，第361-376号（1996年；Zbl 0861.94037） 全文： 内政部
Vrudhula，Sarma B.K。；马苏德·佩德拉姆；赖永特 边值二元决策图。 （英语） Zbl 0858.94037号 Sasao，Tsutomu（编辑）等，离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。109-132 (1996). 审核人：U.Schöning（乌尔姆） MSC公司：94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.B.K.Vrudhula}等人，in：离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。109-132（1996；Zbl 0858.94037）
埃德蒙·克拉克（Edmund M.Clarke）。；Masahiro Fujita；赵旭东 多端二进制决策图和混合决策图。 （英语） Zbl 0855.94028号 Sasao，Tsutomu（编辑）等，离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录（Reed-Miller’95），日本千叶马库哈里。马萨诸塞州波士顿：Kluwer学术出版社。93-108 (1996). 审核人：J.Hromković（基尔） MSC公司：94立方厘米 68问题65 第68季度30 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，in：离散函数的表示。关于Reed-Muller展开式在电路设计中的应用的IFIP WG 10.5研讨会论文集（Reed-Muller’95），日本千叶市Makuhari。马萨诸塞州波士顿：Kluwer学术出版社。93——108（1996；Zbl 0855.94028）
新池敏人 VLSI CAD的二进制决策图及其应用。 （英语） 兹伯利0846.68022 Kluwer国际工程与计算机科学系列. 342. 多德雷赫特：Kluwer学术出版社。xiii，141页（1996年）。 审核人：J.Hromković（基尔） MSC公司：68第05页 68单位07 68-02 PDF格式BibTeX公司 XML格式引用 \textit｛S.-i-Minato｝，超大规模集成电路CAD的二进制决策图和应用。多德雷赫特：Kluwer学术出版社（1996；Zbl 0846.68022）
贝特·博利格；英戈·韦格纳 改进OBDD的变量排序是NP完全的。 （英语） Zbl 1048.68571号 IEEE传输。计算。 45，第9期，993-1002（1996）.MSC公司：68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener}，IEEE Trans。计算。45，第9号，993--1002（1996；Zbl 1048.68571） 全文： 内政部
A.莫罗索夫。 具有单调独立出口的自检数字电路的设计。（Entwurf von selbstprüfenden digitalen Schaltungen mit monotone unabhängigen Ausgängen） （德语） Zbl 0907.68032号 波茨坦：波茨坦大学，Mathematisch-Naturwissenschaftliche-Fakultät，v，85 S.（1996）。MSC公司：68M99型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Morosov}，Entwurf von selbstprüfenden digitalen Schaltungen mit monotone unabhängigen Ausgängen。波茨坦：波茨坦大学，Mathematisch-Naturwissenschaftliche-Fakultät（1996；Zbl 0907.68032）