贝特·博利格;马蒂亚斯·布特库斯 关于结构化(确定性)DNNF的局限性。 (英语) Zbl 1446.68152号 理论计算。系统。 64,第5号,799-825(2020).MSC公司:68立方英尺 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Buttkus},理论计算。系统。64,编号:5799-825(2020年;兹bl 1446.68152) 全文: 内政部
贝特·博利格;马蒂亚斯·布特库斯 关于句子决策图的相对简洁性。 (英语) Zbl 1435.68320号 理论计算。系统。 63,第6号,1250-1277(2019).MSC公司:68立方英尺 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Buttkus},理论计算。系统。63,第6号,1250--1277(2019;Zbl 1435.68320) 全文: 内政部 arXiv公司
贝特·博利格 关于(完全)有序二元决策图的最小化。 (英语) Zbl 1401.68051号 理论计算。系统。 59,第3期,532-559(2016).MSC公司:68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig},理论计算。系统。59,第3号,532--559(2016;Zbl 1401.68051) 全文: 内政部
阿比·贾阿;丹·苏秋 知识编译符合数据库理论:将查询编译为决策图。 (英语) Zbl 1270.68297号 理论计算。系统。 52,第3期,403-440(2013).MSC公司:68立方英尺 第68页,共15页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jha}和\textit{D.Suciu},理论计算。系统。52,第3号,403--440(2013;Zbl 1270.68297) 全文: 内政部
贝特·博利格;Jochen Klump 整数乘法最高有效位的新结果。 (英语) Zbl 1209.68270号 理论计算。系统。 48,第1期,170-188(2011).MSC公司:65年第68季度 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{J.Klump},理论计算。系统。48,第1号,170--188(2011;Zbl 1209.68270) 全文: 内政部
贝特·博利格;Niko系列;英戈·韦格纳 一些基本函数的精确OBDD边界。 (英语) 兹比尔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) 全文: 内政部
丹尼尔·科拉尔 精确读取每个输入位两次的半(d)-超液化问题的多项式大小二元决策图。 (英语) Zbl 1175.68121号 理论计算。系统。 45,第1号,27-42(2009).MSC公司:68第05页 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Král'},理论计算。系统。45,编号1,27-42(2009;Zbl 1175.68121) 全文: 内政部
朱拉吉·赫罗姆科维奇;马丁·索尔霍夫 不经意分支程序的不确定性和随机性的威力。 (英语) 兹比尔1039.68083 理论计算。系统。 36,第2期,159-182(2003).MSC公司:68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}和\textit{M.Sauerhoff},理论计算。系统。36,第2号,159--182(2003;Zbl 1039.68083) 全文: 内政部
索尔霍夫,M。 分区BDD的改进层次结构结果。 (英语) Zbl 0961.68056号 理论计算。系统。 33,第4期,313-329(2000).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sauerhoff},理论计算。系统。33,第4号,313--329(2000;Zbl 0961.68056) 全文: 内政部
博利格,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) 全文: 内政部
Hayase,K。;伊迈,广岛 单调函数及其素蕴涵的OBDD。 (英语) Zbl 0912.68002号 理论计算。系统。 31,第5号,579-591(1998).MSC公司:68第05页 06E30年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Hayase}和\textit{H.Imai},理论计算。系统。31,第5号,579--591(1998;Zbl 0912.68002) 全文: 内政部
拉加万,V。;D.威尔金斯。 分支程序的特征和近似线性时间等价性检验。 (英语) Zbl 0870.68124号 理论计算。系统。 30,第3期,249-283(1997).MSC公司:68T05型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.Raghavan}和\textit{D.Wilkins},理论计算。系统。30,第3号,249--283(1997;Zbl 0870.68124)