图规划

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