丹尼尔·格纳德;霍夫曼，约格 星战解耦状态空间搜索。 （英语） Zbl 1444.68172号 Artif公司。智力。 257, 24-60 (2018). 摘要：状态空间搜索是分析离散转移系统可达性的基本方法。为了处理大型紧凑描述的过渡系统（状态空间爆炸），开发了大量技术（例如，部分阶数缩减），在不影响（最优）解路径存在的情况下减少搜索空间。聚焦于经典人工智能规划，其中紧凑的描述是以状态变量向量、初始状态、目标条件和一组操作为基础的，我们添加了另一种技术星战解耦，进入这个军火库。星形拓扑将状态变量划分为多个组件，以便单个中心组件直接与多个叶组件交互，但叶仅通过中心进行交互。许多应用程序都显式地具有这种结构；任何经典的规划任务都可以通过选择中心作为状态变量的子集来查看，这些状态变量将连接的叶组件分开。我们的主要观察结果是，给定这样一个恒星拓扑结构，叶子在给定中心的情况下是有条件独立的，在这个意义上，给定中心的固定过渡路径，可能的中心兼容路径在叶子之间是独立的。因此，我们的解耦搜索仅在中心转换上分支，并分别维护每个叶的中心兼容路径。如我们所示，该方法与以前的所有搜索缩减技术都是指数分离的，例如，它可以减少指数工作量。原则上，可以修剪重复项，使解耦的状态空间永远不会大于原始状态空间。使用简单的转换，标准搜索算法仍然适用。我们的实验表明，在标准AI规划基准上，我们有了显著的星形拓扑结构。 引用于4文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：人工智能规划;启发式搜索;问题分解 软件：Cunf公司;图规划;萨特齐拉;徒步旅行;自旋蛋白;帕拉米尔斯;z3（零3） PDF格式BibTeX公司 XML格式引用 \textit{D.Gnad}和\textit{J.Hoffmann}，Artif。智力。257、24-60（2018年；Zbl 1444.68172） 全文： 内政部 参考文献： [1] 格纳德，D。；霍夫曼，J.，《用（h^{max}）击败LM-cut（有时）：分叉解耦状态空间搜索》，（Brafman，R.；Domshlak，C.；Haslum，P.；Zilberstein，S.，《第25届国际自动规划与调度会议论文集》，ICAPS’15（2015），AAAI出版社），88-96 [2] 格纳德，D。；霍夫曼，J。；Domshlak，C.，《从分叉解耦到星战解耦》，（Lelis，L.；Stern，R.，第八届组合搜索年度研讨会论文集。第八届联合搜索年度研讨会文献集，SOCS’15（2015），AAAI出版社），53-61 [3] Á. Torralba，D.Gnad，P.Dubbert，J.Hoffmann，关于分叉解耦搜索中的状态优势准则，in：[116]；Á. Torralba，D.Gnad，P.Dubbert，J.Hoffmann，关于分叉解耦搜索中的状态优势标准，in：[116] [4] 加拉布，M。；Nau，D。；Traverso，P.，《自动化规划：理论与实践》（2004），Morgan Kaufmann·Zbl 1074.68613号 [5] 兰佩蒂，G。；Zanella，M.，《主动系统诊断》（2003），Kluwer学术出版社·Zbl 1044.93002号 [6] 克拉克，E。；格伦伯格，O。；Peled，D.，《模型检验》（2001），麻省理工学院出版社 [7] 科尔夫·R·E。；Zhang，W.，Divide-and-conquer frontier search applied to optimal sequence alignment，（Kautz，H.A.；Porter，B.，《美国人工智能协会第17届全国会议论文集》，美国人工智能学会第17届国家会议论文集，AAAI'00（2000），AAAI出版社：美国德克萨斯州奥斯汀AAAI新闻社），910-916 [8] Valmari，A.，简化状态空间生成的Stubborn集，（第十届国际Petri网应用与理论会议论文集（1989）），491-515 [9] Godefroid，P。；Wolper，P.，《使用部分命令有效验证无死锁和安全特性》，（第三届计算机辅助验证国际研讨会论文集。第三届国际计算机辅助验证研讨会论文集，CAV’91（1991）），332-342 [10] Valmari，A.，《对国家爆炸的顽固攻击》，《形式方法系统》。设计。，1, 297-322 (1992) ·Zbl 0783.68083号 [11] Peled，D.，All from one，one for All：on model checking using representatives，（第五届计算机辅助验证国际会议论文集。第五届国际计算机辅助验证会议论文集，CAV’93（1993）），409-423 [12] Godefroid，P.，并行系统验证的部分序方法——状态爆炸问题的方法，Lect。注释计算。科学。，第1032卷（1996），施普林格·Zbl 1293.68005号 [13] Edelkamp，S。；Leue，S。；Lluch-Lafuente，A.，《定向模型检查中的部分阶降阶和跟踪改进》，Int.J.Softw。工具技术。传输。，6, 277-301 (2004) [14] 尼西姆，R。；阿普塞尔，美国。；Brafman，R.I.，最优规划中基于隧道和分解的状态约简，（Raedt，L.D.，《第20届欧洲人工智能会议论文集》，第20届欧盟人工智能会议文献集，ECAI’12（2012），IOS出版社：法国蒙彼利埃IOS出版社），624-629·Zbl 1327.68228号 [15] M.Wehrle，M.Helmert，Y.Alkhazraji，R.Mattmüller，强固执集与扩张核心的相对剪枝力，in：[115]；M.Wehrle，M.Helmert，Y.Alkhazraji，R.Mattmüller，强固执集和扩展核心的相对剪枝能力，见：[115] [16] Wehrle，M。；Helmert，M.，《高效顽固集：广义算法和选择策略》（Chien，S.；Do，M.；Fern，A.；Ruml，W.，《第24届国际自动规划与调度会议论文集》，ICAPS’14（2014），AAAI出版社） [17] Starke，P.，使用对称性的Petri网可达性分析，J.Math。模型。模拟。系统。分析。，8, 293-304 (1991) ·Zbl 0733.68059号 [18] 艾默生，E.A。；Sistla，A.P.，《对称与模型检验》，《形式与方法系统》。设计。，9, 105-131 (1996) [19] M.Fox，D.Long，《在规划问题中发现和利用对称性》，载于：[124]；M.Fox，D.Long，《在规划问题中发现和利用对称性》，载于：[124] [20] N.Pochter，A.Zohar，J.S.Rosenschein，利用州计划者中的问题对称性，见：[117]；N.Pochter，A.Zohar，J.S.Rosenschein，利用州计划者中的问题对称性，见：[117] [21] C.Domshlak，M.Katz，A.Shleyfman，《成本优化规划中作为前向搜索的增强对称破缺》，载于：[121]；C.Domshlak，M.Katz，A.Shleyfman，《成本优化规划中作为前向搜索的增强对称破缺》，载于：[121] [22] McMillan，K.L.，《使用展开避免异步电路验证中的状态爆炸问题》，（von Bochmann，G.；Probst，D.K.，《第四届计算机辅助验证国际研讨会论文集》，CAV’92。第四届计算机辅助验证国际研讨会论文集。第四届计算机辅助验证国际研讨会论文集，CAV’92，Lect。注释计算。科学。（1992），施普林格），164-177 [23] 埃斯帕尔扎，J。；Römer，S。；沃格勒，W.，麦克米伦展开算法的改进，形式方法系统。设计。，20, 285-310 (2002) ·Zbl 1017.68085号 [24] S.L.Hickmott，J.Rintanen，S.Thiébaux，L.B.White，通过Petri网展开的规划，见：[119]；S.L.Hickmott，J.Rintanen，S.Thiébaux，L.B.White，《通过Petri网展开进行规划》，收录于：[119] [25] 博内，B。；哈斯鲁姆，P。；希克莫特，S.L。；Thiébaux，S.，Petri网的定向展开，Trans。Petri网其他模型Concur。，1, 172-198 (2008) ·兹比尔1171.68562 [26] 埃斯帕扎，J。；Heljanko，K.，《展开——模型检验的部分顺序方法》，Monogr。西奥。计算。科学。（2008），施普林格·Zbl 1153.68035号 [27] 巴尔丹，P。；布鲁尼，A。；Corradini，A。；König，B。；罗德里格斯，C。；Schwoon，S.，上下文Petri网的有效展开，Theor。计算。科学。，449, 2-22 (2012) ·Zbl 1263.68117号 [28] 博内，B。；哈斯鲁姆，P。；Khomenko，V。；蒂埃鲍克斯，S。；Vogler，W.，《展开技术的最新进展》，Theor。计算。科学。，551, 84-101 (2014) ·兹比尔1360.68628 [29] Sacerdoti，E.D.，抽象空间层次中的规划，Artif。智力。，5, 115-135 (1974) ·Zbl 0288.68052号 [30] Knoblock，C.，自动生成规划抽象，Artif。智力。，68, 243-302 (1994) ·Zbl 0942.68712号 [31] Lansky，A.L。；Getoor，L.，《范围和抽象：本地化规划的两个标准》，（Mellish，S.，《第十四届国际人工智能联合会议论文集》，第十四届人工智能国际联合会议论文，1995年，摩根·考夫曼：加拿大蒙特利尔摩根·考夫曼），1612-1619 [32] 埃米尔，E。；Engelhardt，B.，《因子规划》（Gottlob，G.，《第十八届国际人工智能联合会议论文集》，第十八届人工智能国际联合会议论文，IJCAI'03（2003），摩根考夫曼：摩根考夫曼·阿卡普尔科，墨西哥），929-935 [33] 布拉夫曼，R。；Domshlak，C.，《因子规划：如何、何时和何时不》（Gil，Y.；Mooney，R.J.，《美国人工智能协会第21届全国会议论文集》，美国人工智能学会第21届国家会议论文集，AAAI'06（2006），AAAI出版社：马萨诸塞州波士顿AAAI Press，美国），809-814 [34] E.Kelareva，O.Buffet，J.Huang，S.Thiébaux，使用分解树的因子规划，in：[119]；E.Kelareva，O.Buffet，J.Huang，S.Thiébaux，使用分解树的因子规划，见：[119] [35] R.I.Brafman，C.Domshlak，从一到多：松散耦合多智能体系统的规划，in：[122]；R.I.Brafman，C.Domshlak，《从一到多：松散耦合多智能体系统的规划》，载于：[122] [36] Fabre，E。；杰泽奎尔，L。；哈斯鲁姆，P。；Thiébaux，S.，《成本优化因子规划：承诺与陷阱》（Brafman，R.I.；Geffner，H.；Hoffmann，J.；Kautz，H.A.，《第20届国际自动规划与调度会议论文集》，ICAPS’10（2010），AAAI出版社），65-72 [37] 尼西姆，R。；R.I.布拉夫曼。；Domshlak，C.，一种通用的、完全分布式的多智能体规划算法，（van der Hoek，W.；Kaminka，G.A.；Lespérance，Y.；Luck，M.；Sen，S.，《第九届自治代理和多智能体系统国际会议论文集》。第九届自治代理和多智能体系统国际会议论文集，AAMAS’10（2010），ifamas），1323-1330年 [38] M.Crosby，M.Rovatsos，R.P.A.Petrick，经典规划的自动代理分解，in：[115]；M.Crosby，M.Rovatsos，R.P.A.Petrick，经典规划的自动代理分解，in：[115] [39] 布拉夫曼，R。；Domshlak，C.，《关于代理团队规划的复杂性及其对单代理规划的影响》，Artif。智力。，198, 52-71 (2013) ·Zbl 1284.68564号 [40] 尼西姆·R。；Brafman，R.，《多智能体规划的分布式启发式前向搜索》，J.Artif。智力。研究，51，293-332（2014）·Zbl 1367.68325号 [41] D.Wang，B.C.Williams，tburton：分而治之的时间规划师，in：[120]；D.Wang，B.C.Williams，tburton：分而治之的时间规划师，见：[120] [42] 霍夫曼，J。；Kissmann，P。；阿拉巴马州托拉尔巴。，“距离”？谁在乎？量身定制合并和收缩启发式以检测不可解性，（Schaub，T.，《第21届欧洲人工智能会议论文集》，《第二十一届欧洲人工智慧会议论文集，ECAI’14》（2014），IOS出版社：捷克共和国布拉格IOS出版社）·Zbl 1366.68264号 [43] Khomenko，V。；Koutny，M.，《走向展开Petri网的有效算法》，（第12届并发理论国际会议论文集，第12届并行理论国际会议文献集，CONCUR’01（2001）），366-380·Zbl 1006.68098号 [44] 罗德里格斯，C。；Schwoon，S.，Cunf：一种用读弧展开和验证Petri网的工具，（第11届自动技术验证和分析国际研讨会论文集。第11届自动化技术验证与分析国际研讨会会议论文集，ATVA’13（2013）），492-495·Zbl 1410.68237号 [45] 徐，L。；Hutter，F。；胡斯，H.H。；Leyton-Brown，K.，Satzilla:基于投资组合的sat算法选择，J.Artif。智力。决议，32，565-606（2008）·Zbl 1182.68272号 [46] 塞纳莫，I。；de la Rosa，T。；Fernández，F.，IBACOP和IBACOP2规划师（IPC 2014规划师摘要（2014）），35-38 [47] Pearl，J.，《启发式》（1984），摩根·考夫曼 [48] McDermott，D.V.，使用回归匹配图控制规划中的搜索，Artif。智力。，109, 111-159 (1999) ·Zbl 0916.68145号 [49] 博内，B。；Geffner，H.，计划作为启发式搜索，人工制品。智力。，129, 5-33 (2001) ·Zbl 0971.68146号 [50] 霍夫曼，J。；Nebel，B.，FF计划系统：通过启发式搜索快速生成计划，J.Artif。智力。决议，14，253-302（2001）·Zbl 0970.68044号 [51] Gerevini，A。；Saetti，A。；Serina，I.，《通过随机局部搜索和时间动作图进行规划》，J.Artif。智力。决议，20，239-290（2003）·Zbl 1058.68103号 [52] Helmert，M.，《快速向下规划系统》，J.Artif。智力。第26号决议，191-246（2006）·Zbl 1182.68245号 [53] 赫尔默特，M。；Domshlak，C.，《地标、关键路径和抽象：到底有什么区别？》？，（Gerevini，A.；Howe，A.；Cesta，A.，Refanidis，I.，《第19届国际自动规划与调度会议论文集》，ICAPS'09（2009），AAAI出版社），162-169 [54] 里希特，S。；Westphal，M.，《LAMA规划师：使用地标指导基于成本的任何时间规划》，J.Artif。智力。Res.，39，127-177（2010）·Zbl 1205.68383号 [55] Domshlak，C。；霍夫曼，J。；Katz，M.，《红黑计划：部分删除松弛的新系统方法》，Artif。智力。，221, 73-114 (2015) ·Zbl 1328.68194号 [56] Bäckström，C。；Nebel，B.，《（SAS^+）规划的复杂性结果》，计算。智力。，11, 625-655 (1995) [57] Bylander，T.，命题STRIPS规划的计算复杂性，Artif。智力。，69, 165-204 (1994) ·Zbl 0821.68065号 [58] Jonsson，P。；Bäckström，C.，增量规划（欧洲规划讲习班（1995年））·Zbl 0939.68828号 [59] 布拉夫曼，R。；Domshlak，C.，《一元运算符规划的结构和复杂性》，J.Artif。智力。决议，18，315-349（2003）·Zbl 1056.68129号 [60] M.Katz，C.Domshlak，通过fork分解的结构模式启发式，in：[122]；M.Katz，C.Domshlak，通过分叉分解的结构模式启发式，在：[122] [61] Garey，M.R。；Johnson，D.S.，《计算机与不可恢复性——NP-完全性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州·Zbl 0411.68039号 [62] 亨辛格，M.R。；亨辛格，T.A。；Kopke，P.W.，有限图和无限图的计算模拟，（第36届计算机科学基础年度研讨会论文集。第36届计算科学基础年度会议论文集，FOCS’95（1995），IEEE计算机学会），453-462·Zbl 0938.68538号 [63] D.Hall，A.Cohen，D.Burkett，D.Klein，带部分顺序修剪的快速优化规划，in：[115]；D.Hall，A.Cohen，D.Burkett，D.Klein，带部分顺序修剪的快速优化规划，in：[115] [64] Á. Torralba，J.Hoffmann，基于模拟的容许优势修剪，in：[118]；Á. Torralba，J.Hoffmann，基于模拟的容许优势修剪，in：[118] [65] 霍夫曼，J。；Kupferschmid，S.，超立方体的覆盖问题，（Kaelbling，L.P.，《第19届国际人工智能联合会议论文集》，第19届人工智能国际联合会议论文，IJCAI'05（2005），Morgan Kaufmann:Morgan Koufmann Edinburgh，UK），1523-1524 [66] 莫拉，L.D。；Björner，N.，Z3:一种高效的SMT求解器，（《第14届系统构建与分析工具和算法国际会议论文集》，第14届国际系统构建和分析工具与算法会议论文集，TACAS'08（2008）），337-340 [67] Trüg，S。；霍夫曼，J。；Nebel，B.，《将自动规划系统应用于机场地面交通控制——可行性研究》，（Biundo，S.；Frühwirth，T.；Palm，G.，KI-04:Advances in Artificial Intelligence（2004），Springer-Verlag:Springer-Verlag-Ulm，Germany），183-197 [68] Rintanen，J.，过渡系统SAT表示的对称性简化，（Giunchiglia，E.；Muscettola，N.；Nau，D.，《第十三届国际自动规划和调度会议论文集》，第十三届自动规划与调度国际会议论文集，ICAPS’03（2003），摩根·考夫曼（Morgan Kaufmann:Morgan Koufmann Trento，意大利），32-41 [69] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE Trans。计算。，35, 677-691 (1986) ·兹比尔0593.94022 [70] McMillan，K.L.，《符号模型检查》（1993），Kluwer学术出版社·Zbl 1132.68474号 [71] Edelkamp，S.，《模型检查综合规划系统中的驯化数量和持续时间》，J.Artif。智力。第20号决议，195-238（2003）·Zbl 1036.68092号 [72] S.Edelkamp，P.Kissmann，状态空间搜索BDD的复杂性：connect four中的一个案例研究，in：[117]；S.Edelkamp，P.Kissmann，状态空间搜索BDD的复杂性：connect four中的一个案例研究，in：[117] [73] 卡尔伯森，J.C。；Schaeffer，J.，模式数据库，计算。智力。，14, 318-334 (1998) [74] S.Edelkamp，模式数据库规划，in：[123]；S.Edelkamp，模式数据库规划，收录于：[123] [75] 费尔纳，A。；科尔夫（Korf，R.）。；Hanan，S.，《加性模式数据库启发式》，J.Artif。智力。决议，22，279-318（2004）·Zbl 1080.68662号 [76] 哈斯勒姆，P。；Botea，A。；赫尔默特，M。；博内特，B。；Koenig，S.，用于成本最优规划的模式数据库启发式的领域相关构建，（Howe，A.；Holte，R.C.，《美国人工智能协会第22届全国会议论文集》，美国人工智能学会第22届国家会议论文集，AAAI'07（2007），AAAI出版社：加拿大不列颠哥伦比亚省温哥华市AAAI新闻社，1007-1012 [77] J.Seipp，M.Helmert，反例引导的笛卡尔抽象精化，in：[115]；J.Seipp，M.Helmert，反例引导的笛卡尔抽象精化，in：[115]·Zbl 1448.68392号 [78] 赫尔默特，M。；哈斯鲁姆，P。；霍夫曼，J。；Nissim，R.，《合并与收缩抽象：在分解状态空间中生成下限的方法》，J.ACM，61（2014）·Zbl 1295.68189号 [79] 巴克斯，F。；Yang，Q.，《向下细化和分层问题解决的效率》，Artif。智力。，71, 43-100 (1994) ·Zbl 0938.68829号 [80] Helmert，M.，《向下快速（对角）》（IPC 2006年《规划师文摘》（2006））·Zbl 1182.68245号 [81] P.Haslum，减少规划问题的偶然复杂性，in：[119]；P.Haslum，减少规划问题的偶然复杂性，见：[119] [82] 托齐卡，J。；Jakubuv，J。；斯瓦托斯，M。；Komenda，A.，《经典规划的递归多项式约简》（Coles，A.；Coles，A；Edelkamp，S.；Magazzeni，D.；Sanner，S.，《第26届自动规划与调度国际会议论文集》，ICAPS’16（2016），AAAI出版社，317-325 [83] C.Domshlak，Y.Dinitz，《多代理离线协调：结构和复杂性》，in：[123]；C.Domshlak，Y.Dinitz，《多代理离线协调：结构和复杂性》，in：[123] [84] Helmert，M.，基于因果图分析的规划启发式，（Koenig，S.；Zilberstein，S.，Koehler，J.，《第十四届国际自动规划与调度会议论文集》，ICAPS'04（2004），Morgan Kaufmann:Morgan Koufmann Whistler，加拿大），161-170 [85] M.卡茨。；Domshlak，C.，《成本最优规划的可控制性新岛》，J.Artif。智力。研究，32，203-288（2008）·Zbl 1182.68251号 [86] 吉梅内斯，O。；Jonsson，A.，简单因果图规划问题的复杂性，J.Artif。智力。决议，31，319-351（2008）·Zbl 1182.68242号 [87] 吉梅内斯，O。；Jonsson，A.，规划具有大小为5的域的变量的链因果图是NP-hard，J.Artif。智力。第34675-706号决议（2009年）·兹比尔1182.68243 [88] 吉梅内斯，O。；Jonsson，A.，《k依赖对规划复杂性的影响》，Artif。智力。，177-179, 25-45 (2012) ·Zbl 1238.68151号 [89] M.卡茨。；Keyder，E.，《叉以外的结构模式：扩展经典规划的复杂性边界》，（Hoffmann，J.；Selman，B.，《第26届AAAI人工智能会议论文集》，AAAI'12（2012），AAAI出版社：加拿大安大略省多伦多市AAAI新闻社），1779-1785 [90] M.Aghihi，P.Jonsson，S.Stáhlberg，受限多树因果图上的可追踪成本最优规划，in：[120]；M.Aghihi，P.Jonsson，S.Stáhlberg，受限多树因果图上的可追踪成本最优规划，in：[120] [91] Kroneger，M。；Ordyniak，S。；Pfandler，A.，《规划的后门》（Brodley，C.E.；Stone，P.，《第28届AAAI人工智能会议论文集》，第28届人工智能会议文献集，2014年，AAAI出版社：美国德克萨斯州奥斯汀AAAI新闻社），2300-2307 [92] M.Kroneger，S.Ordyniak，A.Pfandler，《规划的可变删除后门》，in：[120]；M.Kroneger，S.Ordyniak，A.Pfandler，规划可变删除后门，见：[120] [93] Hart，体育。；新泽西州尼尔森。；Raphael，B.，《启发式确定最小成本路径的形式基础》，IEEE Trans。系统。科学。赛博。，4, 100-107 (1968) [94] 哈斯鲁姆，P。；Geffner，H.，最优规划的可接受启发式，（Chien，S.；Kambhampati，R.；Knoblock，C.，《第五届人工智能规划系统国际会议论文集》，AIPS’00（2000），AAAI出版社：AAAI Press Menlo Park，科罗拉多州布雷肯里奇），140-149 [95] 霍夫曼，J。；波蒂厄斯，J。；Sebastia，L.，《规划中的有序地标》，J.Artif。智力。决议，22，215-278（2004）·Zbl 1080.68670号 [96] H.Nakhost，J.Hoffmann，M.Müller，《资源约束规划：蒙特卡洛随机游走方法》，in：[121]；H.Nakhost，J.Hoffmann，M.Müller，《资源约束规划：蒙特卡洛随机游走方法》，载于：[121] [97] Helmert，M.，PDDL规划任务的简明有限域表示法，Artif。智力。，173, 503-535 (2009) ·Zbl 1191.68635号 [98] Blum，A.L。；Furst，M.L.，《通过规划图分析快速规划》，Artif。智力。，90, 279-298 (1997) ·Zbl 1017.68533号 [99] H.Kautz，B.Selman，统一基于SAT和基于图形的规划，in：[124]；H.Kautz，B.Selman，统一基于SAT和基于图形的规划，见：[124] [100] Long博士。；Fox，M.，《第三届国际规划竞赛：结果与分析》，J.Artif。智力。Res.，20，1-59（2003年）·兹比尔1036.68097 [101] Á. Torralba，C.Linares López，D.Borrajo，符号双向搜索的抽象启发法，in：[116]；Á. Torralba，C.Linares López，D.Borrajo，符号双向搜索的抽象启发法，in：[116] [102] M.Wehrle，M.Helmert，A.Shleyfman，M.Katz，将局部降阶和对称消除结合起来用于成本最优的经典规划，in：[118]；M.Wehrle，M.Helmert，A.Shleyfman，M.Katz，将局部降阶和对称消除结合起来用于成本最优的经典规划，见：[118] [103] D.Gnad，M.Wehrle，J.Hoffmann，解耦强固执集，in：[116]；D.Gnad，M.Wehrle，J.Hoffmann，解耦强顽固集，in：[116] [104] Hutter，F。；胡斯，H.H。；莱顿-布朗，K。；Stützle，T.，ParamILS：自动算法配置框架，J.Artif。智力。决议，36，267-306（2009）·Zbl 1192.68831号 [105] 福塞特，C。；赫尔默特，M。；胡斯，H。；卡帕斯，E。；Röger，G。；Seipp，J.，《FD-Autotune:Fast Downward的自动配置》，（IPC 2011 Planner Abstracts（2011）），31-37 [106] 塞普，J。；Pommerening，F。；Sievers，S。；Wehrle，M.，《快速下行》，（UIPC 2016年规划摘要（2016）），28-38 [107] 阿拉巴马州托拉尔巴。，《交响乐：证明不可解性的符号周界抽象》（UIPC 2016规划摘要（2016）），8-11 [108] Jonsson，B.，弱内存顺序下并发算法的状态空间探索，SIGARCH Compute。阿基特。新闻，36，65-71（2008） [109] Linden，A。；Wolper，P.，PSO存储系统中基于验证的内存栅栏插入方法，（Piterman，N.；Smolka，S。《第19届系统构建与分析工具与算法国际会议论文集》。第19届系统构建和分析工具和算法国际会议论文集，TACAS’13（2013），Springer-Verlag），339-353·Zbl 1381.68173号 [110] 特拉夫金，O。；Mütze，A。；Wehrheim，H.，SPIN作为弱记忆模型下的线性化检查器，（第九届国际海法验证会议论文集。第九届海法验证国际会议论文集，HVC’13（2013）），311-326 [111] 阿尔拉赫曼，Y.A。；安德里克，M。；Beggiato，A。；Lluch Lafuente，A.，我们能在maude中的宽松内存模型下有效地检查并发程序吗？，（第十届重写逻辑及其应用国际研讨会论文集修订稿。第十届改写逻辑及其应用研讨会论文集修改稿，WRLA’14（2014）），21-41·Zbl 1367.68057号 [112] 格纳德，D。；波斯尔，V。；Hoffmann，J.，《Beyond forks:为解耦搜索寻找和排序星因子》（Sierra，C.，《第26届国际人工智能联合会议论文集》，第26届人工智能国际联合会议论文，IJCAI’17（2017），AAAI出版社/IJCAI） [113] 格纳德，D。；阿拉巴马州托拉尔巴。；Shleyfman，A。；Hoffmann，J.，《星际极化解耦搜索中的对称破缺》，（第27届国际自动规划与调度会议论文集。第27届自动规划和调度国际会议论文集，ICAPS’17（2017），AAAI出版社） [114] 格纳德，D。；阿拉巴马州托拉尔巴。；Hoffmann，J.，解耦搜索中的符号叶表示，（Fukunaga，A.；Kishimoto，A.，第十届组合搜索年会论文集。第十届联合搜索年会文献集，SOCS’17（2017），AAAI出版社） [115] （Borrajo，D.；Fratini，S.；Kambhampati，S.和Oddi，A.，《第23届国际自动规划和调度会议记录》，ICAPS’13（2013），AAAI出版社：意大利罗马AAAI新闻社） [116] （Kambhampati，S.，《第25届国际人工智能联合会议论文集》，第25届人工智能国际联席会议论文集，IJCAI’16（2016），AAAI出版社/IJCAI） [117] （Burgard，W.；Roth，D.，《美国人工智能协会第25届全国会议记录》，美国人工智能学会第25届国家会议记录，AAAI'11（2011），AAAI出版社：美国加利福尼亚州旧金山AAAI Press） [118] （Yang，Q.，《第24届国际人工智能联合会议论文集》，第24届人工智能联合大会论文集，IJCAI’15（2015），AAAI出版社/IJCAI） [119] （Veloso，M.，《第20届国际人工智能联合会议论文集》，IJCAI'07（2007），Morgan Kaufmann:Morgan Koufmann Hyderabad，India） [120] （Bonet，B.；Koenig，S.，《第29届AAAI人工智能会议论文集》，第29届人工智能会议文献集，AAAI'15（2015），AAAI出版社） [121] （Bonet，B.；McCluskey，L.；Silva，J.R.；Williams，B.，《第二十二届国际自动规划与调度会议论文集》，ICAPS’12（2012），AAAI出版社） [122] （Rintanen，J.；Nebel，B.；Beck，J.C.；Hansen，E.，《第18届国际自动规划与调度会议论文集》，ICAPS'08（2008），AAAI出版社） [123] （Cesta，A.；Borrajo，D.，《第六届欧洲规划会议记录》，第六届欧盟规划会议记录，ECP’01（2001），Springer-Verlag） [124] （Pollack，M.，《第十六届国际人工智能联合会议论文集》，第十六届人工智能国际联席会议论文集，IJCAI'99（1999），Morgan Kaufmann:Morgan Koufmann Stockholm，瑞典）·Zbl 0926.00030号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。