zbMATH中的参考文献（参考文献186篇,1标准件)

1. 刘灿娟；朱恩强；张远科；张强；魏晓鹏：资源约束博弈中策略的表征、验证与生成（2022）
2. 布杜，约瑟夫；赫齐格，安德烈亚斯；Troquard，Nicolas:命题分配动态逻辑中的资源分离（2021）
3. 李春晓；钟，乔纳森；慕克吉，索哈姆；葡萄酒，马克；弗莱明，诺亚；科洛科洛娃，安东尼娜；穆，爱丽丝；Ganesh，Vijay:实用布尔公式的层次社区结构（2021）
4. 格拉斯蒂恩，阿尔班；Scala，Enrico:CPCES：通过反例引导的优化来解决符合规划问题的规划框架（2020）
5. 佩雷拉，拉蒙·弗拉加；奥伦，近红外；Meneguzzi，Felipe:基于里程碑的目标识别方法（2020）
6. 舍哈，沙尚；Brafman，Ronen I.：用互动行动和隐私来代表和规划（2020）
7. 间谍，大卫；你，贾淮；Hayward，Ryan:ASP领域独立成本优化规划（2019）
8. 间谍，大卫；你，贾淮；Hayward，Ryan:互斥图和多解：减少规划的基础规模（2019年）
9. 莎拉，贝尔纳迪尼；法尼，法比奥；Smith，David E.：从提升的时间规划域中提取互斥不变量（2018）
10. 德利吉卡斯，阿格里奥斯；Meir，Reshef:有向图子项和串并行宽度（2018）
11. 尼德，但以理；霍夫曼，Jörg:星型拓扑解耦状态空间搜索（2018）
12. 波希，亚伦；布鲁伊埃，维罗尼克；拉斯金，让·弗朗索瓦；Bertrand，Nathalie:单调马尔可夫决策过程中平均收益和最短路径的符号算法（2017）
13. 埃格利，乌韦；克罗内格，马丁；洛辛，弗洛里安；Pfandler，Andreas:整合规划作为增量QBF解决的案例研究（2017）
14. 斯坦梅茨，马塞尔；Hoffmann，Jörg:状态空间搜索nogood learning:规划中关键路径死端检测器的在线优化（2017）
15. Surynek，Pavel:基于时间扩展图的协同寻径优化求解命题编码（2017）
16. 德贾科莫，朱塞佩；格雷维尼，阿方索·埃米利奥；帕特里齐，法比奥；萨蒂，亚历山德罗；Sardina，Sebastian：代理计划计划（2016）
17. 戈什，卡姆莱什；达斯古塔，帕拉布；Ramesh，S.：自动化规划作为分布式控制的早期验证工具（2015）
18. 里菲尔，埃莉诺G。；文丘里，戴维德；奥格曼，布莱恩；是的，明乙。；普莱斯特，伊莉西亚·M。；Smelyanskiy，Vadim N.：为困难操作计划问题编程量子退火程序的案例研究（2015）
19. 格里兹，马雷克；嗨，杰西；可汗，谢罗兹S。；米哈利迪斯，亚历克斯；查努克，斯蒂芬；杰克逊，丹；Monk，Andrew:基于POMDP的援助系统知识工程的关系方法作为心理学模型的翻译（2014）ioport公司
20. 布拉夫曼，罗南一世。；Domshlak，Carmel:论agent团队规划的复杂性及其对单agent规划的影响（2013）