莱昂纳多·洛扎诺;J.Cole史密斯 求解一类二元两阶段随机规划的基于二元决策图的算法。 （英语） Zbl 1489.90086号 数学。程序。 191，编号1（B），381-404（2022）.MSC公司：90立方厘米 90立方厘米 05二氧化碳 49平方米27 PDF格式BibTeX公司 XML格式引用 \textit{L.Lozano}和\textit{J.C.Smith}，数学。程序。191，编号1（B），381--404（2022；Zbl 1489.90086） 全文： DOI程序
贝特·博利格;马克·伯里 关于一些图类的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） 全文： DOI程序
戴维·莫里森。;爱德华·苏厄尔（Edward C.Sewell）。;谢尔登·雅各布森。 使用零抑制二元决策图解决图着色的分支与价格算法中的定价问题。 （英语） Zbl 1338.90431号 信息J.计算。 第1期第28页，第67-82页（2016年）.MSC公司：90立方厘米 90C57型 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Morrison}等人，《信息与计算》。28，第1号，67--82（2016；Zbl 1338.90431） 全文： DOI程序 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） 全文： DOI程序
贝特·博利格;托拜厄斯·普罗格 关于基于隐式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） 全文： DOI程序
贝特·博利格;迈克尔·卡佩尔 度量TSP近似值的优先级函数。 （英语） Zbl 1296.68193号 信息处理。莱特。 113，编号14-16，584-591（2013）.MSC公司：68周25 05C85号 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Capelle}，Inf.过程。莱特。113，编号14-16584-591（2013；Zbl 1296.68193） 全文： DOI程序
贝特·博利格 基于符号OBDD的最小生成树问题算法研究。 （英语） Zbl 1245.05125号 西奥。计算。科学。 447, 2-12 (2012).MSC公司：05C85号 05二氧化碳 68兰特 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{B.Bollig}，Theor。计算。科学。447，2--12（2012；Zbl 1245.05125） 全文： DOI程序
阿赫蒂·佩德 叠加图和用计数法求结构描述。 （英语） Zbl 1360.05002号 塔尔图大学数学学位论文62.塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学计算机科学学院（Diss.）（ISBN 978-9949-19-374-5/pbk；978-9949-19-375-2/ebook）。第87页。(2010).MSC公司：05-02 05C90年 92E10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Peder}，重叠图和通过计数方法寻找结构描述。塔尔图：塔尔图大学出版社；塔尔图：塔尔图大学计算机科学学院（Diss.）（2010；Zbl 1360.05002） 全文： 链接 链接
贝特·博利格 基于符号OBDD的最小生成树问题算法研究。 （英语） Zbl 1311.05183号 Wu，Weili（编辑）等人，组合优化与应用。2010年12月18日至20日，第四届国际会议，COCOA 2010，美国HI凯鲁亚·科纳。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-17460-5/pbk）。《计算机科学讲义》6509，16-30（2010）。MSC公司：05C85号 05二氧化碳 68第05页 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，莱克特。注释计算。科学。6509，16-30（2010；Zbl 1311.05183） 全文： DOI程序
萨拉扎尔·迪亚斯，奥尔加·帕特里夏 从动力学角度看汤普森群。 （英语） Zbl 1266.20055号 国际代数计算杂志。 20，第1号，39-70（2010）.MSC公司：20层65 第37页第15页 37B10号机组 20F05型 2010年1月20日 20E45型 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{O.P.Salazar-Díaz}，国际代数计算杂志。20，第1号，第39-70条（2010；Zbl 1266.20055） 全文： DOI程序
贝特·博利格 关于整数乘法图的OBDD大小的注释。 （英语） Zbl 1193.68128号 信息处理。莱特。 109，第1期，第41-43页（2009年）.MSC公司：65年第68季度 05C85号 68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，Inf.过程。莱特。109，编号1，41-43（2009；Zbl 1193.68128） 全文： DOI程序
英戈·韦格纳 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-229-251（2004年；兹bl 1045.94023） 全文： DOI程序
A.多维尔。;Gentilini，R。;C.广场。;Policriti，A。 基于秩的符号互模拟：（以及模型检查）。 （英语） Zbl 1261.68084号 de Queiroz，Ruy（编辑）等人，WoLLIC’2002。2002年7月30日至8月2日，巴西里约热内卢，巴西里约热内卢，里约热内卢天主教大学，第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记67，166-183（2002）。MSC公司：60年第68季度 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人，《电子》。注释Theor。计算。科学。67、166--183（2002年；Zbl 1261.68084） 全文： DOI程序
约翰·罗宾逊。 Golomb阵列的遗传搜索。 （英语） Zbl 1004.94024号 IEEE传输。Inf.理论 46，第3期，1170-1173（2000）.MSC公司：94A99型 68周01 05B15号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Robinson}，IEEE Trans。Inf.Theory 46，No.3，1170--1173（2000；Zbl 1004.94024） 全文： DOI程序
蒂莫西·卡姆;蒂齐亚诺别墅;罗伯特·K·布雷顿。;Alberto L.Sangiovanni-Vincentelli。 多值决策图：理论与应用。 （英语） Zbl 1025.94515号 多重-有价值的日志。 4，编号1-2，9-62（1998）.MSC公司：94立方厘米 90C27型 05C85号 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Kam}等人，多-有价值的日志。4，编号1--2，9--62（1998；Zbl 1025.94515）
Jon T.巴特勒。;佐佐、通武 斐波那契函数二元决策图中的平均节点数。 （英语） Zbl 0865.05005号 斐波那契Q。 34，第5期，413-422（1996）. 审核人：I.斯特拉兹丁斯（里加） MSC公司：2015年1月5日 2016年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）