英戈·韦格纳 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） 全文： 内政部 链接
约翰·罗宾逊。 Golomb阵列的遗传搜索。 （英语） 兹比尔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） 全文： 内政部
理查德·安德森。;保罗·比姆;威廉·陈;大卫·诺金 符号模型检查在软件规范分析中的应用经验。 （英语） Zbl 0970.68723号 Björner，Dines（编辑）等人，《系统信息学的观点》。第三届安德烈·埃尔肖夫国际纪念大会，PSI'99。Akademgorodik，俄罗斯新西伯利亚，1999年7月6日至9日。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1755, 460-469 (2000).MSC公司：68单位99 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Anderson}等人，Lect。注释计算。科学。1755、460-469（2000年；Zbl 0970.68723）
贝特·博利格;英戈·韦格纳 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） 全文： 内政部
R.M.延森。;M.M.维洛索。 基于OBDD的非确定性域中同步代理的通用规划。 （英语） Zbl 0963.68196号 J.阿蒂夫。智力。研究（JAIR） 13, 189-226 (2000).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛R.M.Jensen｝和\textit｛M.Veloso｝，J.Artif。智力。研究（JAIR）13，189--226（2000；Zbl 0963.68196）
Cimatti，A。;M.罗维里。 通过符号模型检查进行一致性规划。 （英语） 兹伯利0963.68195 J.阿蒂夫。智力。研究（JAIR） 1305-338（2000年）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}和\textit{M.Roveri}，J.Artif。智力。研究（JAIR）13，305-338（2000；Zbl 0963.68195）
卢卡·德·阿尔法罗;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;罗伯特·塞加拉 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 （英语） Zbl 0960.68109号 Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1785, 395-410 (2000).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人，Lect。注释计算。科学。1785395-410（2000年；Zbl 0960.68109）
索尔霍夫，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） 全文： 内政部
马丁·索尔霍夫;英戈·韦格纳;拉尔夫·沃奇纳 一次读取公式的最优有序二进制决策图。 （英语） 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） 全文： 内政部
彼得·萨维克 奇偶序二元决策图中变量的随机序。 （英语） Zbl 0952.68067号 随机结构。算法 16，第3期，233-239（2000）.MSC公司：65年第68季度 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{P.萨维克}，随机结构。算法16，No.3，233--239（2000；Zbl 0952.68067） 全文： 内政部
哈，迈克尔;马克·瑞恩 [埃德蒙·克拉克（Edmund M.Clarke）。] 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 （英语） Zbl 0955.68001号 剑桥：剑桥大学出版社。第十八章，第387页（2000年）。 审核人：Marat M.Arslanov（喀山） MSC公司：68-01 03-01 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Huth｝和\textit｛M.Ryan｝，计算机科学中的逻辑：关于系统的建模和推理。Edmund M.Clarke引言。剑桥：剑桥大学出版社（2000；Zbl 0955.68001）
英戈·韦格纳 通信复杂性和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）