大卫·伯格曼;安德烈·西尔(Andre A.Cire)。;威廉·扬·范霍夫;胡克,J.N。 二元决策图的优化边界。 (英语) Zbl 1356.90083号 信息J.计算。 26,第2期,253-268(2014).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bergman}等人,《信息与计算》。26,第2号,253--268(2014;Zbl 1356.90083) 全文: 内政部 链接
比比洛,P.N。 用二元决策图定义的不完全指定布尔函数系统的分解。 (英语。俄文原件) Zbl 1325.94173号 自动。远程控制 75,第7期,1173-1194(2014); Avtom翻译。Telemekh公司。2014年,第7期,17-42(2014)。MSC公司:94立方厘米 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.N.Bibilo},自动。远程控制75,编号71173-1194(2014;兹bl 1325.94173);Avtom翻译。Telemekh公司。2014年第7期、第17-42号(2014) 全文: 内政部
托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 在Coq中实现和推理哈希加密数据结构。 (英语) Zbl 1314.68273号 J.汽车。推理 53,第3期,271-304(2014).MSC公司:68吨15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Braibant}等人,J.Autom。推理53,No.3,271--304(2014;Zbl 1314.68273) 全文: 内政部 arXiv公司 哈尔
贝特·博利格;Marc Gillé;托拜厄斯·普罗格 通过次线性函数运算隐式计算最大二部匹配。 (英语) Zbl 1303.68065号 西奥。计算。科学。 560,第2部分,131-146(2014).MSC公司:65年第68季度 05C70号 05C85号 68第05页 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,Theor。计算。科学。560,第2部分,131--146(2014;Zbl 1303.68065) 全文: 内政部
贝特·博利格;托拜厄斯·普罗格 关于基于隐式OBDD的高效最大匹配算法。 (英语) Zbl 1309.68056号 Inf.计算。 239, 29-43 (2014).MSC公司:68第05页 05C70号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{T.Pröger},Inf.Comput。239、29-43(2014年;Zbl 1309.68056) 全文: 内政部
戴维·莫里森。;爱德华·苏厄尔(Edward C.Sewell)。;谢尔登·雅各布森。 最大独立集ZDD的特征。 (英语) Zbl 1302.90188号 J.库姆。最佳方案。 第121-139号第28页(2014年).MSC公司:90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Morrison}等人,J.Comb。优化。28,第1号,121--139(2014;Zbl 1302.90188) 全文: 内政部
贝特·博利格 这是一个简单的反例,是对布莱恩特应用算法复杂性的长期猜测的反例。 (英语) Zbl 1284.68209号 信息处理。莱特。 114、3号、124-129(2014).MSC公司:68第05页 06E30年 68卢比 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},Inf.过程。莱特。114,第3号,124--129(2014;Zbl 1284.68209) 全文: 内政部