贝特·博利格;Niko系列;英戈，韦格纳 一些基本函数的精确OBDD边界。 （英文） Zbl 1204.68076号 理论计算。系统。 47，第2期，593-609（2010）.MSC公司：68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，理论计算。系统。47，第2号，593--609（2010；Zbl 1204.68076） 全文： 内政部
贝特·博利格;Niko系列;英戈，韦格纳 一些基本函数的精确OBDD边界。（扩展摘要）。 （英文） Zbl 1132.68347号 Geffert，Viliam（编辑）等人，SOFSEM 2008：计算机科学的理论与实践。第34届计算机科学理论与实践当前趋势会议，2008年1月19日至25日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77565-2/pbk）。《计算机科学讲义》4910174-185（2008）。MSC公司：68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。注释计算。科学。4910174-185（2008年；Zbl 1132.68347） 全文： 内政部
英戈，韦格纳 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） 全文： 内政部
贝特·博利格;英戈，韦格纳 具有二次型规模的只读分支程序的函数不一定是可测试的。 （英文） Zbl 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） 全文： 内政部
西林，德特勒夫;英戈，韦格纳 免费BDD和转换BDD的比较。 （英文） Zbl 1053.68071号 形式方法系统。设计。 19，第3期，223-236（2001）.MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling}和\textit{I.Wegener}，《形式方法系统》。设计。19，第3号，223--236（2001；Zbl 1053.68071） 全文： 内政部
英戈，韦格纳 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的渐近最优界和一些基本OBDD问题的解。 （英文） Zbl 0970.68041号 J.计算。系统。科学。 61，第3期，558-579（2000）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener}，J.Compute。系统。科学。61，第3号，558--579（2000；Zbl 0970.68041） 全文： 内政部
马丁·索尔霍夫;英戈，韦格纳;拉尔夫·沃奇纳 一次读取公式的最优有序二进制决策图。 （英文） 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） 全文： 内政部
英戈，韦格纳 通信复杂性和BDD下界技术。 （英文） Zbl 0956.68070号 Althöfer，Ingo（编辑）等人，《数字、信息和复杂性》。在鲁道夫·阿尔斯威德60岁生日之际致敬他。多德雷赫特：Kluwer学术出版社。615-628 (2000).MSC公司：68问题30 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener}，in：数字、信息和复杂性。在鲁道夫·阿尔斯威德60岁生日之际致敬他。多德雷赫特：Kluwer学术出版社。615--628（2000；Zbl 0956.68070）
贝特·博利格;马丁·洛宾;马丁·索尔霍夫;英戈，韦格纳 关于各种BDD模型的隐藏加权位函数的复杂性。 （英文） Zbl 0946.68042号 西奥。通知。应用。 33，第2期，第103-115页（1999年）.MSC公司：2005年第68季度 2015年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Theor。通知。申请。33，编号2，103--115（1999；Zbl 0946.68042） 全文： 内政部 Numdam编号 欧洲DML
博利格，B。;我·韦格纳。 分区（不确定）二元决策图的复杂性理论结果。 （英文） Zbl 0934.68048号 理论计算。系统。 32，第4期，487-503（1999）.MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener}，理论计算。系统。32，第4号，487--503（1999；Zbl 0934.68048） 全文： 内政部
贝特·博利格;马丁·索尔霍夫;西林，德特勒夫;英戈，韦格纳 （k）OBDD和（k）IBDD的层次定理。 （英文） Zbl 0913.68078号 西奥。计算。科学。 205，编号1-2，45-60（1998）.MSC公司：2015年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Theor。计算。科学。205，编号1--2，45-60（1998；Zbl 0913.68078） 全文： 内政部
贝特·博利格;英戈，韦格纳 与只读投影相关的完整性和非完整性结果。 （英文） Zbl 0919.68098号 Inf.计算。 143，第1期，24-33（1998）.MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener}，信息计算。143，编号1，24--33（1998；Zbl 0919.68098） 全文： 内政部
贝特·博利格;英戈，韦格纳 改进OBDD的变量顺序是NP完成的。 （英文） Zbl 1048.68571号 IEEE传输。计算。 45，第9期，993-1002（1996）.MSC公司：68兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{I.Wegener}，IEEE Trans。计算。45，第9号，993--1002（1996；Zbl 1048.68571） 全文： 内政部
西林，德特勒夫;英戈，韦格纳 图形驱动的BDD–布尔函数的一种新数据结构。 （英文） Zbl 0873.68036号 西奥。计算。科学。 141，编号1-2283-310（1995）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Sieling}和\textit{I.Wegener}，Theor。计算。科学。141，编号1--2，283--310（1995；Zbl 0873.68036） 全文： 内政部
西林，德特勒夫;英戈，韦格纳 在线性时间内减少OBDD。 （英文） Zbl 0787.94027号 信息处理。莱特。 第35139-144号第48页（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） 全文： 内政部