阿尔伯特·尼迈耶；钱凯荣 基于符号数据结构的启发式搜索算法。 （英语） Zbl 1205.68381号 Gedeon，Tamás D.（编辑）等人，AI 2003：人工智能的进展。第16届澳大利亚人工智能大会，2003年12月3日至5日，澳大利亚珀斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20646-9/pbk）。计算机科学课堂讲稿2903。人工智能课堂讲稿，966-979（2003）。MSC公司：68T20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Nymeyer}和\textit{K.Qian}，Lect。注释计算。科学。2903966-979（2003年；Zbl 1205.68381） 全文： 内政部
贝特·博利格；英戈·韦格纳 具有二次型大小的只读分支程序的函数不一定是可测试的。 （英语） 兹比尔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） 全文： 内政部
A.西马蒂。；M·皮斯托尔。；M.罗维里。；Traverso，P。 通过符号模型检查进行弱、强和强循环规划。 （英语） Zbl 1082.68800号 Artif公司。智力。 147，编号1-2，35-84（2003）.MSC公司：68T20型 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Artif。智力。147，编号1--2，35-84（2003；Zbl 1082.68800） 全文： 内政部
尤尔根·鲁夫；托马斯·克罗普夫 离散时间系统的符号验证和分析。 （英语） Zbl 1065.68070号 形式方法系统。设计。 第1期第23页，第67-108页（2003年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ruf}和\textit{T.Kropf}，《形式方法系统》。设计。23，第1号，67--108（2003；Zbl 1065.68070） 全文： 内政部
Jan Friso，格鲁特；奥尔加·特维雷蒂纳 一阶谓词逻辑的二进制决策图。 （英语） Zbl 1035.03012号 J.日志。阿尔盖布。程序。 57，第1-2、1-22号（2003）.MSC公司：03B70号 03B35型 03B10号机组 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{O.Tveretina}，J.Log。阿尔盖布。程序。57，编号1--2，1--22（2003；Zbl 1035.03012） 全文： 内政部
J.F.格罗特。；H.赞蒂玛。 分辨率图和二元决策图不能用多项式相互模拟。 （英语） Zbl 1029.68129号 离散应用程序。数学。 130，第2期，157-171（2003）.MSC公司：68T27型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{H.Zantema}，离散应用程序。数学。130，第2号，157--171（2003；Zbl 1029.68129） 全文： 内政部
朱拉吉·赫罗姆科维奇；马丁·索尔霍夫 不经意分支程序的不确定性和随机性的威力。 （英语） 兹比尔1039.68083 理论计算。系统。 36，第2期，159-182（2003）.MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}和\textit{M.Sauerhoff}，理论计算。系统。36，第2号，159--182（2003；Zbl 1039.68083） 全文： 内政部
马丁·索尔霍夫 OBDD和单向图灵机的猜测与验证与无限制不确定性。 （英语） Zbl 1054.68056号 J.计算。系统。科学。 66，第3期，473-495（2003）.MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本｛M.Sauerhoff｝，J.Comput。系统。科学。66，第3号，473--495（2003；Zbl 1054.68056） 全文： 内政部
霍尔格·赫尔曼斯；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 （英语） 兹比尔1054.68018 J.日志。阿尔盖布。程序。 56，第1-2期，23-67（2003）.MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人，J.Log。阿尔盖布。程序。56，编号1--2，23-67（2003；Zbl 1054.68018） 全文： 内政部
O·格伦伯格。；利夫内，S。；马尔科维奇，S。 学习在验证中排序BDD变量。 （英语） Zbl 1045.68092号 J.阿蒂夫。智力。研究（JAIR） 18, 83-116 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人，J.Artif。智力。研究（JAIR）18，83--116（2003；Zbl 1045.68092） 全文： arXiv公司