大卫·伯格曼;安德烈·西尔（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） 全文： 内政部