贝特·博利格;马克·伯里 关于一些图类的OBDD表示。 (英语) Zbl 1346.05193号 离散应用程序。数学。 214, 34-53 (2016).MSC公司:05C62号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Bury},离散应用程序。数学。214、34-53(2016;Zbl 1346.05193) 全文: 内政部
尼古拉斯·佩尔蒂埃 扩展分辨率模拟二进制决策图。 (英语) Zbl 1142.68064号 离散应用程序。数学。 156,第6号,825-837(2008).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Peltier},离散应用程序。数学。156,第6号,825--837(2008;Zbl 1142.68064) 全文: 内政部
高石县Horiyama;茨城,东芝 有序二元决策图推理。 (英语) Zbl 1077.68100号 离散应用程序。数学。 142,编号1-3,151-163(2004).MSC公司:68层35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Horiyama}和\textit{T.Ibaraki},离散应用程序。数学。142,编号1--3,151-163(2004;Zbl 1077.68100) 全文: 内政部
英戈·韦格纳 BDD–设计、分析、复杂性和应用程序。 (英语) Zbl 1045.94023号 离散应用程序。数学。 138,编号1-2,229-251(2004). 审核人:马格努斯·斯坦比(图尔库) MSC公司:94立方厘米 94C15号机组 05C85号 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener},离散应用程序。数学。138,编号1--2,229--251(2004;Zbl 1045.94023) 全文: 内政部
J.F.格罗特。;H.赞蒂玛。 分辨率图和二元决策图不能用多项式相互模拟。 (英语) Zbl 1029.68129号 离散应用程序。数学。 130,第2期,157-171(2003).MSC公司:68T27型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{H.Zantema},离散应用程序。数学。130,第2号,157--171(2003;Zbl 1029.68129) 全文: 内政部
西林,德特勒夫 最小化和学习OBDD和FBDD的复杂性。 (英语) Zbl 1002.68032号 离散应用程序。数学。 122,编号1-3,263-282(2002).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling},离散应用程序。数学。122,编号1--3,263--282(2002;Zbl 1002.68032) 全文: 内政部
马丁·索尔霍夫;英戈·韦格纳;拉尔夫·沃奇纳 一次读取公式的最优有序二进制决策图。 (英语) Zbl 0983.94062号 离散应用程序。数学。 103,编号1-3,237-258(2000).MSC公司:94立方厘米 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Sauerhoff}等人,《离散应用》。数学。103,编号1-3237-258(2000年;兹bl 0983.94062) 全文: 内政部