贝特·博利格 这是一个简单的反例,是对布莱恩特应用算法复杂性的长期猜测的反例。 (英语) 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) 全文: 内政部
贝特·博利格;迈克尔·卡佩尔 度量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) 全文: 内政部
贝特·博利格 基于OBDD的可达性分析的指数空间复杂性。 (英语) 兹比尔1379.68147 信息处理。莱特。 110,第21期,924-927(2010).MSC公司:2017年第68季度 68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},Inf.过程。莱特。110,第21号,924--927(2010;Zbl 1379.68147) 全文: 内政部
贝特·博利格 关于阈值函数的(广义)OBDD的大小。 (英语) Zbl 1209.68151号 信息处理。莱特。 109,第10号,499-503(2009).MSC公司:68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},Inf.过程。莱特。109,第10号,499--503(2009;Zbl 1209.68151) 全文: 内政部
Wěi Chén;张文辉 鸽子洞问题的多项式大小OBDD证明的直接构造。 (英语) Zbl 1217.03044号 信息处理。莱特。 109,第10号,472-477(2009年).MSC公司:20层03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Chén}和\textit{W.Zhang},Inf.过程。莱特。109,第10号,472--477(2009;Zbl 1217.03044) 全文: 内政部
贝特·博利格 关于整数乘法图的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) 全文: 内政部
亨里克·布罗森;马蒂亚斯·霍米斯特;斯蒂芬·瓦克 具有重复测试和各种验收模式的非确定性有序二元决策图。 (英语) Zbl 1187.68247号 信息处理。莱特。 98,第1期,6-10(2006).MSC公司:2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Brosenne}等人,《Inf.过程》。莱特。98,第1号,第6--10号(2006;Zbl 1187.68247) 全文: 内政部
贝特·博利格;英戈·韦格纳 具有二次型大小的只读分支程序的函数不一定是可测试的。 (英语) 兹比尔1175.68092 信息处理。莱特。 87,第1期,25-29(2003).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener},Inf.过程。莱特。87,第1号,25--29(2003;Zbl 1175.68092) 全文: 内政部
英戈·韦格纳 OBDD上操作的最坏情况示例。 (英语) Zbl 1339.68124号 信息处理。莱特。 74,编号3-4,91-96(2000).MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener},Inf.过程。莱特。74,编号3--4,91-96(2000;Zbl 1339.68124) 全文: 内政部 链接
花束,织物;菲利普·杰古 使用OBDD处理动态约束。 (英语) 兹比尔1337.68240 信息处理。莱特。 62,第3期,111-120(1997).MSC公司:68T20型 68第05页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bouquet}和\textit{P.Jégou},Inf.过程。莱特。62,第3号,111-120(1997;Zbl 1337.68240) 全文: 内政部
西林,德特勒夫;英戈·韦格纳 在线性时间内减少OBDD。 (英语) Zbl 0787.94027号 信息处理。莱特。 48,第3期,139-144(1993).MSC公司:94立方厘米 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling}和\textit{I.Wegener},Inf.过程。莱特。48,第3号,139--144(1993;Zbl 0787.94027) 全文: 内政部