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）…
商店2 15篇文献引用(2003–2021) 软件作者： Nau，Dana S。；Au、Tsz-Chiu；俄克拉荷马州伊尔加米；库特，乌古尔；J.William Murdock；吴丹；抚顺亚曼 相关软件： PDDL；图形平面图；高尔夫… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
狄拉克++ 18篇文献引用（2008年至2021年） 软件作者： 吉多·莫肯。；克里斯托夫·凯特尔。 相关软件： Dirac_Laczos；FFTW；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
SAPA公司 14篇文献引用(2002–2022) 软件作者： 做，M。；南卡罗来纳州坎班帕蒂。 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
简历 9份文件引用(1997–2023) 软件作者： 尤瓦尔·沙哈尔；马克·穆森 相关软件： 蛋白质；PrefixSpan；铲刀… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TuLiP公司 15篇文献引用(2016–2022) 软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件： PESSOA；科西马；SCOTS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
液化石油气 12份文件引用(2003–2022) 软件作者： 阿方索·盖列维尼（Alfonso E.Gerevini）、亚历山德罗·萨埃蒂（Alessandro Saetti）、伊万·塞里纳（Ivan Serina）、毛罗·瓦拉蒂（Mauro Vallati） 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
VHPOP（VHPOP） 10篇文献引用(2003–2021) 软件作者： Younes，H.L.S。；R.G.西蒙斯。 相关软件： 图形平面图；PDDL；UCPOP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
科林 7份文件引用(2012–2022) 软件作者： 科尔斯，A.J。；科尔斯，A.I。；福克斯，M。；龙，D。 相关软件： PDDL；SCIP计划；TensorFlow… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NMRDPP公司 7份文件引用(2006–2023) 软件作者： 蒂堡，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 相关软件： 图形平面图；CPLEX；观察员… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
长期平均价格 5份文件引用(2017–2022) 软件作者： Cameron Finucane；港元景；哈达斯·克雷斯·加济特 相关软件： TuLiP；PESSOA；SCOTS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
活动性 引用于3份文件(2008–2014) 软件作者： 史蒂文斯·D、德拉吉塞维奇·S和罗思利·K。 相关软件： LUCAS；FANN；AntNet… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
SCIP计划 引用于3份文件(2019–2022) 软件作者： 说吧，巴斯尔；斯科特·桑纳 相关软件： 结肠；TensorFlow；SCIP… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
阿格斯 2份文件引用(2003) 软件作者： 盖尔德曼，尤塔；阿夫奇（Avci），努尔滕（Nurten）；斯特凡·温泽尔（Stefan Wenzel）；奥托·伦茨 相关软件： —— 主要字段： 运筹学，数学编程（90-XX）
ImproteK公司 2份文件引用（2018年） 软件作者： Nika、Jéróme、Marc Chemillier、Gérard Assayag 相关软件： DYCI2公司 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；计算机科学（68-XX）
达尔文SPL 1份文件引用（2018年） 软件作者： Nieke，M.、Engel，G.、Seidl，C。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SpineOpt公司 在0个文档中引用 软件作者： 伊勒曼，马伦；库维利奥提斯·利斯卡托斯，伊索纳斯；黄江毅；约瑟夫·狄龙（Joseph Dillon）；Ciara O'Dwyer；托皮·拉斯库；马林·曼努埃尔（Manuel Marin）；克里斯·蓬塞莱特（Kris Poncelet）；朱哈基维卢马 相关软件： 郁金香轮廓拟合.jl；根.jl；Pypsa… 主要字段： ——