×

找到13个软件包(结果1-13)

PDDL公司

95篇文献引用(2000–2023)
软件作者: 福克斯,M。;Long,D。;Ghallab,M.、Howe,A.、Knoblock,C.、McDermott,D.、Ram,A.、Veloso,M.,Weld,D.、Wilkins,D。
相关软件: 图形平面图;步行卫星;SAPA…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

STAN公司

37篇文献引用(1998年至2018年)
软件作者: 龙,德里克;玛丽亚·福克斯
相关软件: 图形平面图;步行卫星;CPlan…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

商店2

15篇文献引用(2003–2021)
软件作者: Nau,Dana S。;Au、Tsz-Chiu;伊尔加米,奥赫泰;库特,乌古尔;J.William Murdock;吴丹;抚顺亚曼
相关软件: PDDL;图形平面图;高尔夫…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

FODD-计划

15篇文献引用(2008–2022)
软件作者: Joshi,S。;R.卡顿。
相关软件: FluCaP;图形平面图;高尔夫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

SAPA公司

在14份文件中引用(2002–2022)
软件作者: 做,M。;南卡罗来纳州坎班帕蒂。
相关软件: 图形平面图;PDDL;Walksat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

氟氯化钙

11份文件引用(2006–2021)
软件作者: Hölldobler,S。;卡拉巴耶夫,E。;O.斯科沃尔佐娃。
相关软件: FODD-计划;ProbLog;CCalc…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

IPC-4项目

8份文件引用(2005–2009)
软件作者: 霍夫曼,J。;Edelkamp,S。;蒂堡,S。;恩格尔·R。;Liporace,F。;特鲁格,S。
相关软件: 图形平面图;PDDL;SAPA…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SAT竞赛

6篇文献引用(2009–2017)
软件作者: Hans van Maaren;法兰柯
相关软件: MiniSat;萨齐拉;SMAC…
主要字段: 计算机科学(68-XX)

AltAlt键

6篇文献引用(2002–2009)
软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati)
相关软件: STAN;图形平面图;SAPA…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

NMRDPP公司

7份文件引用(2006–2023)
软件作者: 蒂堡,S。;格雷顿,C。;斯莱尼,J。;价格,D。;卡班扎,F。
相关软件: 图形平面图;CPLEX;观察员…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

拦污栅

7份文件引用(2014–2022)
软件作者: 卓、汉克斯、汉奎;杨强
相关软件: PDDL;UCPOP;SCIPPlan…
主要字段: 计算机科学(68-XX)

Optiplan公司

2份文件引用(2005–2008)
软件作者: van den Briel,M.H.L。;南卡罗来纳州坎班帕蒂。
相关软件: 图形平面图;CPLEX;RealPlan(实际计划)
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PDVer版本

在0个文档中引用
软件作者: 莱蒙迪,F。;佩彻,C。;G.布拉特。
相关软件: Java PathFinder;Uppaal;高尔夫
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

筛选结果依据…

全部的 前5名

相关软件