西林,德特勒夫;英戈,韦格纳 图形驱动的BDD–布尔函数的一种新数据结构。 (英语) Zbl 0873.68036号 西奥。计算。科学。 141,编号1-2,283-310(1995).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling}和\textit{I.Wegener},Theor。计算。科学。141,编号1--2,283--310(1995;Zbl 0873.68036) 全文: 内政部
Y·布莱特巴特。;亨特,H.III;罗森克兰茨,D。 关于表示布尔函数的二元决策图的大小。 (英语) Zbl 0874.68283号 西奥。计算。科学。 145,编号1-2,45-69(1995).MSC公司:68层35 PDF格式BibTeX公司 XML格式引用 \textit{Y.Breitbart}等人,Theor。计算。科学。145,编号1--2,45-69(1995;Zbl 0874.68283) 全文: 内政部
约阿希姆·波塞加;彼得·施密特(Peter H.Schmitt)。 Shannon图的自动演绎。 (英语) Zbl 0845.68095号 J.日志。计算。 5,第6期,697-729(1995).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Posegga}和\textit{P.H.Schmitt},J.Log。计算。5,第6号,697--729(1995;Zbl 0845.68095) 全文: 内政部 链接
让·古伯特 基于BDD的简化和Skolemization程序。 (英语) Zbl 0879.03005号 J.IGPL公司 3,第6期,827-855(1995). 审核人:G.Dowek(勒切斯奈) MSC公司:03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault},J.IGPL 3,第6号,827--855(1995;Zbl 0879.03005)