贝特·博利格 关于阈值函数的（广义）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 1191.68347号 牛市。欧洲协会。计算。科学。EATCS公司 98, 78-106 (2009).MSC公司：65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \发短信给博利格，公牛。欧洲协会。计算。科学。EATCS 98，78--106（2009；Zbl 1191.68347）
丹尼尔·科拉尔 精确读取每个输入位两次的半（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） 全文： 内政部
乌古尔·库特;瑙，达纳;马尔科·皮斯托雷;保罗·特拉弗索 抽象状态上的任务分解，用于不确定性下的规划。 （英语） Zbl 1191.68636号 Artif公司。智力。 173，编号5-6，669-695（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{U.Kuter}等人，Artif。智力。173，编号5--6，669--695（2009；Zbl 1191.68636） 全文： 内政部
克吕佩尔霍尔茨，萨沙;克里斯特尔·拜尔 基于通道的元件连接器的符号模型检查。 （英语） Zbl 1167.68035号 科学。计算。程序。 74，第9号，688-701（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier}，科学。计算。程序。74，第9号，688--701（2009；Zbl 1167.68035） 全文： 内政部
安德烈·里姆萨;Zárate，Luis E。;宋，Mark A.J。 使用BDD处理大型正式上下文-透视图和限制。 （英语） Zbl 1248.68482号 费雷，塞巴斯蒂安（编辑）等，形式概念分析。2009年5月21日至24日在德国达姆施塔特举行的2009年ICFCA第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-01814-5/pbk）。计算机科学课堂讲稿5548。《194-209年人工智能课堂讲稿》（2009）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Rimsa}等人，Lect。注释计算。科学。5548194-209（2009年；Zbl 1248.68482） 全文： 内政部
贝特·博利格 关于阈值函数的OBDD复杂性和变量排序问题（扩展抽象）。 （英语） 兹比尔1206.68100 尼尔森，莫根斯（编辑）等人，《SOFSEM 2009：计算机科学的理论与实践》。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404129-140（2009）。MSC公司：68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，莱克特。注释计算。科学。5404、129--140（2009年；Zbl 1206.68100） 全文： 内政部
盖兹盖兹，威德;本·阿莫尔，纳赫拉;哈立德·梅洛利 基于定性可能性效用的定性可能性影响图。 （英语） Zbl 1159.91345号 欧洲药典。研究。 195，第1期，223-238（2009）.MSC公司：91B06型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{W.Guezguez}等人，《欧洲药典》。195号决议，第1号，223--238（2009年；Zbl 1159.91345） 全文： 内政部