IPC-4项目 8份文件引用(2005–2009) 软件作者: 霍夫曼,J。;Edelkamp,S。;蒂堡,S。;恩格尔·R。;Liporace,F。;特鲁格,S。 相关软件: 图形平面图;PDDL;SAPA… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
科林 7份文件引用(2012–2022) 软件作者: 科尔斯,A.J。;科尔斯,A.I。;福克斯,M。;龙,D。 相关软件: PDDL;SCIP计划;TensorFlow… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
CSP2SAT4J型 3份文件引用(2014–2016) 软件作者: 勒贝雷,D.,林奇,I。 相关软件: 微量锌;SATzilla公司;阿祖卡… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
公鸭 2份文件引用(2020–2024) 软件作者: 俄罗斯特德雷克;Drake开发团队 相关软件: MuJoCo;CAZSL;Optimica… 主要字段: 组合数学(05-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
DAC公司 1份文件引用(2023) 软件作者: 特蕾莎·艾默、安德烈·比登卡普、马克西米利安·雷默、史蒂文·阿德里安森、弗兰克·赫特、马吕斯·林道尔 相关软件: AClib;HyFlex;SGDR… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
XPOMCP公司 1份文件引用(2023) 软件作者: 朱利奥·马齐;阿尔贝托·卡斯泰里尼;亚历山德罗·法利内利 相关软件: REBA;AlphaZero;IsolationForest… 主要字段: 计算机科学(68-XX)