{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:52:48Z”，“时间戳”：1725490368149}，“出版商位置”：“柏林，海德堡”，“参考计数”：53，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540741275“}，{”类型“：“电子”，“值”：“9783540741282”}]，“内容域”：{“域”：[]，“交叉标记限制”：false}，“短容器标签”：[[]，“DOI”：“10.1007\/978-3-540-74128-23”，“类型”：“book-capter”，“创建”：{“日期段”：[[2007,8,27]]，“日期时间”：“2007-08-27T06:05:15Z”，“时间戳”：1188194715000}，”页面“35-50“，”source“：”Crossref“，”is-referenced-by-count“：5，“title”：[“自动创建模式数据库搜索启发式”]，“prefix”：“10.1007”，“author”：[{“given”：“Stefan”，“family”：“Edelkamp”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：”3_CR1“，”doi-asserted-by“：”crossref“，“unstructured”：“Ball，T.，Majumdar，R.，Millstein，T.D.，Rajamani，S.K.：c程序的自动谓词抽象。摘自：SIGPLAN编程语言设计与实现会议，第203\u2013213（2001）页”，“DOI”：“10.1145\/378795.378846”}，{“key”：“3_CR2”，“非结构化”：“Brie，A.H.，Morignot，P.：使用可变长度染色体进行遗传规划。In:ICAPS，pp.320\u2013329（2005）”}，{“key”：“3_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Bryant，R.E.：使用图形表示的布尔函数符号操作。In:ACM\/IEEE设计自动化会议，pp.688\u2013694（1985）”，“doi”：“10.1109\/DAC.1985.1586017”}，{“issue”：“5”，“key”：“3_CR4”，“doi-asserted-by”：“publisher”，“first-page”：“1512”，“doi”：“10.1145\/186025.186051”，“volume”：”16“，“author”：“E.M.Clarke”，“year”：“1994”，“unstructured”：“Clarke，E.M.，Grumberg，O.，Long，D.：模型检查和抽象。ACM编程语言和系统事务\u00a016（5），1512\u20131542（1994）“，”journal-title“：”ACM Transactions on Programming Languages and Systems“}，{”issue“：”4“，”key“：”3_CR5“，”doi-asserted-by“：”publisher“，”first page“：“318”，“doi”：“10.1111\/0824-7935.00065”，“volume”：“14”，“author”：“J.C.Culberson”，“year”：“1998”，“unstructured”：“”Culberson，J.C.，Schaeffer，J.：模式数据库。计算智能\u00a014（4），318\u2013334（1998）”，“期刊标题”：“计算智能”}，{“卷标题”：“蚁群优化”，“年份”：“2005”，“作者”：“M.Dorigo”，“密钥”：“3_CR6”，“非结构化”：“Dorigo，M.，St\u00fctzle，T.:蚁群优化。麻省理工学院出版社，剑桥（2005）”}，{“密钥”：“3_CR7”，“非结构化”：“Edelkamp，S.：模式数据库规划。摘自：ECP，pp.13\u201324（2001）“}，{“key”：“3_CR8”，“unstructured”：“Edelkamp，S.：启发式搜索规划中的符号模式数据库。摘自：AIPS，pp.274\u2013293（2002）”}，“key“：”3_CR9“，”doi-asserted-by“：”crossref“，”first page“：“195”，“doi”：“10.1613”//jair.1302“，“volume”：”20“，“author”：“S.Edelkamb”，”year“2003“，”非结构化“：”Edelkamp，S.：模型检查综合规划系统中的驯服数量和持续时间。《人工智能研究杂志》（Journal of Artificial Intelligence Research）\u00a020，195\u2013238（2003）“，“Journal-title”：“Journal for Artificulative Intelligation Research”}，{“key”：“3_CR10”，“unstructured”：“Edelkamp，S.：使用模式数据库进行外部符号启发式搜索。In:ICAPS，pp.51\u201360（2005）”}、{“key”：《3_CR11》，“unstratized”：”Edelkamp，S.，Lluch-Lafuente，A.：定向模型检查中的抽象。In：ICAPS-Workshop on Connecting Planning Theory with Practice（2004）“}，{“key”：“3_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Edelkamp，S.，Reffel，F.：启发式搜索中的OBDDs。In：KI，pp.81\u201392（1998）”，“doi”：“10.1007\/BFb0095430”}，}“key”：“3CR13”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”第一页“：”248“，”DOI“：”10.1007\/11527862_18“，“volume-title”：“抽象、重构和近似”，“author”：“A.Felner”，“year”：“2005”，“unstructured”：“Felner，A.，Alder，A.：使用依赖实例的模式数据库解决24个难题。摘自：Zucker，J.-D.，Saitta，L.（编辑）SARA 2005。LNCS（LNAI），卷\u00a03607，第248页\u2013260。Springer，Heidelberg（2005）“}，{“key”：“3_CR14”，“unstructured”：“Felner，A.，Meshulam，R.，Holte，R.C.，Korf，R.E.：压缩模式数据库。收录于：AAAI，pp.638\u2013643（2004）”}，}“键”：“3CR15”，“非结构化”：“费尔纳，A.，Zahavi，U.，Schaeffer，J.，Holter，R.：模式数据库中的双重查找。收录自：IJCAI，p.103\u2013108（2005）”}.，{3_CR16“，”doi-asserted-by“：”publisher“，”first page“：”189“，“doi”：“10.1016\/0004-3702（71）90010-5”，“volume”：“2”，“author”：“R.Fikes”，“year”：“1971”，“unstructured”：“Fikes，R.，Nilsson，N.：STRIPS：应用定理证明解决问题的新方法。人工智能\u00a02，189\u2013208（1971）“，”杂志标题“：”人工智能“}，{“key”：“3_CR17”，“unstructured”：“Gaschnig，J.：设计启发式的问题相似性方法：第一个结果。In:IJCAI，pp.434\u2013441（1979）”}，“issue”：“2”，“key“：”3_CR18“doi-asserted-by”：“publisher”，“First page”：”117“，“doi”：“10.1007\\s10009-004-0141-1“，”卷“：”6“，”作者“：”P.Godefroid“，”年份“：”2004“，”非结构化“：”Godefroid，P.，Khurshid，S.：使用遗传算法探索非常大的状态空间。STTT\u00a06（2），117\u2013127（2004）“，“journal-title”：“STTT”}，{“key”：“3_CR19”，“series-title”：《人工智能课堂讲稿》，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-45622-8_7”，“volume-title“：“抽象、重构和近似”，“author”：“E.A.Hansen”，年：“2002”，“非结构化”：“Hansen，E.A.，Zhou，R.，Feng，Z.：使用决策图的符号启发式搜索。收录：Koenig，S.，Holte，R.C.（编辑）SARA 2002。LNCS（LNAI），vol.\u00a02371，Springer，Heidelberg（2002）“}，{”key“：”3_CR20“，”doi-asserted-by“：”publisher“，”first page“：“129”，“doi”：“10.1016\/0004-3702（92）90045-Y”，“volume”：“55”，“author”：“O.Hansson”，“year”：“1992”，“unstructured”：“Hansson，O.，Mayer，A.，Valtora，M.：关于A*算法启发式估计复杂性的新结果（研究笔记）。人工智能\u00a055，129\u2013143（1992）“，”杂志标题“：”人工智能“}，{“key”：“3_CR21”，“unstructured”：“Haslum，P.，Bonet，B.，Geffner，H.：域相关规划的新可接受启发式。收录于：AAAI，pp.1163\u20131168（2005）”}，}，”key“：”3_CR22“，”unstructure“：”Haslum，P.，Geffner，H.：最优规划的可接受启发式。pp.140\u2013149（2000）“}，{“key”：“3_CR23”，“unstructured”：“Helmert，M.：一种基于因果图分析的规划启发式算法。In:ICAPS，pp.161\u2013170（2004）”}，}，“key“：”3_CR24“，”unstructure“：”Hern\u00e1dv\u00f6lgyi，I.T.：自动生成搜索下限。渥太华大学博士论文（2003）crossref“，”first-page“：”253“，”DOI“：”10.1613\/jair.855“，”volume“：”14“，”author“：”J.霍夫曼“，”year“：”2001“，”unstructured“：”霍夫曼，J.，Nebel，B.：通过启发式搜索快速生成计划。《人工智能研究杂志》（Journal of Artificial Intelligence Research）\u00a014，253\u2013302（2001）“，“期刊标题”：“人工智能研究期刊”}，{“key”：“3_CR26”，“unstructured”：“Holland，J.：《自然与人工系统的适应》，密歇根大学博士论文（1975）”}、{“key”：《3_CR27》，“series-title”：《人工智能讲义》，“doi-asserted-by“：”crossref“，”first page“：”121“，“doi”：“10.1007 \/11527862_9”，“volume-title”：“抽象、重构和近似”，“author”：“R.C.Holte”，“year”：“2005”，“unstructured”：“Holte，R.C.，Grajkowski，J.，Tanner，B.：重新审视层次启发式搜索。摘自：Zucker，J.-D.，Saitta，L.（编辑）SARA 2005。LNCS（LNAI），卷\u00a03607，第121\u2013133页。Springer，Heidelberg（2005）“}，{“key”：“3_CR28”，“unstructured”：“Holte，R.C.，Hern\u00e1dv\u00f6gyi，I.T.：基于记忆的启发式的时空权衡。In：AAAI（1999）”}，}，“key“：”3_CR29“，“unsructured 3_CR30“，”非结构化”：“Holte，R.C.，Perez，M.B.，Zimmer，R.M.，Donald，A.J.：层次A*：搜索抽象层次。收录于：AAAI，第530\u2013535页（1996年）“}，{“key”：“3_CR31”，“unstructured”：“Jensen，R.M.，Bryant，R.E.，Veloso，M.M.：SetA*：一种高效的基于BDD的启发式搜索算法。收录于Junghanns，A.：挑战极限：单代理搜索的新发展。阿尔伯塔大学博士论文（1999）“}，{“key”：“3_CR33”，“doi-asserted-by”：“crossref”，“unstructured”：“Klein，D.，Manning，C.：A*语法分析：快速准确的Viterbi语法选择。In:计算语言学协会北美分会人类语言技术会议（2003）”，“doi”：“10.3115\/1073445.1073461”}，“issue”：“2”，“key“：”3_CR34“，”doi-asserted-by“：”publisher“，”first-page“：”243“，”doi“：”10.1016\/0004-3702（94）90069-8“，“volume”：“68”，“author”：“C.A.Knoblock”，“year”：“1994”，“unstructured”：“Knoblok，C.A.：自动生成规划抽象。人工智能\u00a068（2），243\u2013302（1994）“，”杂志标题“：”人工智能“}，{“key”：“3_CR35”，“unstructured”：“Korf，R.E.：使用模式数据库寻找Rubik\u2019s立方体的最优解。摘自：AAAI，pp.700\u2013705（1997）”}，}，”key“：”3_CR36“，”首页“：”13“，”卷时间“：”章节分离模式数据库启发“，”作者“：”R.E.Korf“，”year“：”2002“，”unstructured“：”Korf，R.E.，Felner，A.：芯片挑战冠军：游戏、计算机和人工智能。摘自：不相交模式数据库启发式一章，第13\u201326页。Elsevier，Amsterdam（2002）“}，{”issue“：”1-2“，”key“：”3_CR37“，”doi-asserted-by“：”publisher“，”first page“：“199”，“doi”：“10.1016\/S0004-3702（01）00094-7”，”volume“：1-2），199\u2013218（2001）“，”journal-title“：”Artificial Intelligence“}，{”issue“：”5“，”key“：”3_CR38“，”doi-asserted-by“：”publisher“，”first page“：“715”，”doi“：”10.1145\/1089023.1089024“，”volume“：》52“，”author“：”R.E.Korf“，“year”：“2005”，”unstructured“：”Korf，R.E.，Zhang，W.，Thayer，I.，Hohwald，H.：Frontier search.journal of the ACM\u00a052（5），715 5\u2013748（2005）“，”期刊标题“：”美国计算机学会期刊“}，{“key”：“3_CR39”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“doi”：“10.1007\/11691617_3”，“volume title”：“Model Checking Software”，“author”：“S.Kupferschmid”，“year”：“2006”，“nonstructured”：“Kupferschmid，S.、Hoffmann，J.、Dierks，H.、Behrmann，G.：将人工智能规划启发式应用于定向模型检查。收录：Valmari，A.（编辑）《模型检查软件》。LNCS，vol.\u00a03925，Springer，Heidelberg（2006）“}，{“key”：“3_CR40”，“doi-asserted-by”：“crossref”，“unstructured”：“Mostow，J.，Prieditis，A.E.：通过抽象和优化发现可接受的启发式。In:IJCAI，pp.701\u2013 707（1989）”，“doi”：“10.1016\/B978-1-55860-036-2.50068-0”}，}“key”：“3CR41”，“doi-assertd-by”：“交叉参考“，”非结构化”：“Muslea，I.：基于遗传编程的通用人工智能规划系统。收录于：遗传编程会议（最新突破论文），第157\u2013164页（1997）“，“DOI”：“10.1007\/3-540-63912-8_95”}，{“volume-title”：“启发式”，“year”：“1985”，“author”：“J.Pearl”，“key”：“3_CR42”，“unstructured”：“Pearl，J.：启发式。Addison-Wesley，London（1985）”}Qian，K.，Nymeyer，A.：基于符号数据结构的启发式搜索算法。在：ACAI，pp.966\u2013979（2003）“，”DOI“：”10.1007\/978-3-540-24581-0_83“}，”key“：”3_CR44“，”series-title“：”计算机科学课堂讲稿“，”DOI-asserted-by“：”crossref“，”first page“：“，”非结构化”：“Qian，K.，Nymeyer，A.：基于抽象和符号模式数据库的引导不变模型检查。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第u00a02988卷，第497\u2013511页。Springer，Heidelberg（2004）“}，{”key“：”3_CR45“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“72”，”doi“：”10.1007\/3-540-63166-6_10“，”volume-title“：“计算机辅助验证”，”author“：”S.Graf“，”year“：”1997“，”unstructured“：”Graf，S.，Saidi，H.：用PVS构造抽象状态图。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第u00a01254卷，第72\u201383页。Springer，Heidelberg（1997）“}，{”key“：”3_CR46“，”doi-asserted-by“：”crossref“，”first-page“：”587“，”doi“：”10.1613\/jair.1534“，”volume“：“23”，”author“：”S.Schroedl“，”year“：”2005“，”unstructured“：”Schroedl-，S.：优化多序列比对的改进搜索算法。人工智能研究杂志\u00a023，587\u2013623（2005）“，”journal-title“：《人工智能研究杂志》}，{“key”：“3_CR47”，“doi-asserted-by”：“crossref”，“unstructured”：“Silver，D.：合作寻路。In:人工智能与交互式数字娱乐会议，第117\u2013122页（2005）”，“doi”：“10.1609\/aide.v1i1.18726”}Spector，L.：遗传编程和人工智能规划系统。在：AAAI，pp.1329\u20131334（1994）“｝，｛“key”：“3_CR49”，“doi asserted by”：“publisher”，“first page”：“48”，“doi”：“10.1016/0020-0255（84）90009-4”，“volume”：“34”，“author”：“M.Valtorta”，“year”：“1984”，“nonstructured”：“Valtorta，M.：关于A*算法启发式估计的计算复杂性的结果。信息科学\u00a034，48\u201359（1984）“，“journal-title”：“Information Sciences”}，{“key”：“3_CR50”，“unstructured”：“Wall，M.:GAlib\u2013 A C++Library of Genetic Algorithm Components，Massachusetts Institute of Technology（2005）”}“，{”key“：”3_CR51“，”unstructure“：”Westerberg，H.，Levine，J.：使用遗传编程优化计划。In：ECP，第Poster（2001）“}页，{“key”：“3_CR52”，“unstructured”：“Zhou，R.，Hansen，E.：基于空间效率的内存启发式。In：AAAI，pp.677\u2013682（2004）”}，{《key》：“3_CR53”，“非结构化”：“周，R.、Hansen、E.：使用结构化重复检测的外部内存模式数据库。In:AAAI（2005）”}]，“container-title”：[“计算机科学课堂讲稿”，“模型检查与人工智能”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3-540-74128-23.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2023,5,13]]，“date-time“：”2023-05-13T22:42:56Z“，”timestamp“：1684017776000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-74128-23”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts”：[[null]]}、“ISBN”：[“9783540741275”，“9783541282”]，“references-count”：53，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-74128-23”，“关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：”1611-349“}]，”subject“：【】}