糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
BARON公司 420篇文献引用(1996–2024) 软件作者： 尼古拉斯五世·萨希尼迪斯。 相关软件： CPLEX；GAMS；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FEASPUMP公司 139篇文献引用(1979–2024) 软件作者： 菲舍蒂（Matteo Fischetti）；多梅尼科·萨尔瓦金 相关软件： MIPLIB公司；CPLEX；MIPLIB2003… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
乔科 62篇文献引用（2001年至2022年） 软件作者： Choco团队：http://www.emn.fr/z-info/choco-solver/index.php？page=团队 相关软件： 通用电气；CPLEX；克莱尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
实摊铺机 51份文件中引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSPTW公司 43篇文献引用(2001–2023) 软件作者： 菲利波·福卡奇；安德烈亚·洛迪；米歇拉·米兰 相关软件： LKH；VRP；TSPLIB… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Clingcon公司 39篇文献引用(2009–2022) 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
全球溶胶 38篇文献引用(1999–2020) 软件作者： R.Baker Kearfott先生 相关软件： 进入PT_90；BARON公司；椰子… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；H溶剂；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BL数据集 27篇文献引用(2000–2023) 软件作者： 菲利普·巴蒂斯特（Philippe Baptiste）、克洛德·勒·佩普（Claude Le Pape） 相关软件： PSPLIB；炸薯条；克莱尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
IbexOpt公司 14篇文献引用(2012–2023) 软件作者： Araya，I.、Trombettoni，G.、Neveu，B。 相关软件： 数字；INTBIS公司；IBEX… 主要字段： 场论与多项式（12-XX）；统计学（62-XX）；数值分析（65-XX）…
天蓝色 8份文件引用(1998–2021) 软件作者： 迈克尔·桑内拉 相关软件： QOCA；HiRise；Cassowary… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
红衣主教 10篇文献引用(2007–2020) 软件作者： 弗朗西斯科·阿泽夫多 相关软件： CPGraph；Z/EVES；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
clpfd公司 6篇文献引用(2014–2022) 软件作者： 马库斯·特里斯卡 相关软件： SWI-预测；Prolog；SIC斯图斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
BEE公司 8份文件引用(2012–2022) 软件作者： Metodi，Amit；迈克尔·科迪什 相关软件： 鹦鹉螺；踪迹；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
全球采购自由度 8份文件引用(2005–2015) 软件作者： Gilles Trombettoni；马尔塔·威尔茨科维亚克 相关软件： RealPaver；CPLEX；SBA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
幻灯片 7份文件引用(2009–2016) 软件作者： 克里斯蒂安·贝西耶、伊曼纽尔·希伯拉德、布拉希姆·赫尼奇、泽尼普·克孜尔坦、托比·沃尔什 相关软件： ToulBar2；CSPLib；SICStus… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
累积mm 7份文件引用（2016年至2022年） 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔。 相关软件： gpremeencemm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
gpremeencemm公司 7份文件引用（2016年至2022年） 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： 累积mm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MGTP公司 6篇文献引用(1995–2013) 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生物活性炭 4份文件引用(2005–2014) 软件作者： 托尼·兰伯特（Tony Lambert）；卡洛斯·卡斯特罗；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；沙特，弗雷德里克 相关软件： CSPLib；EasyLocal公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
所有不同的 4份文件引用(2011–2022) 软件作者： 克里斯蒂安·贝西尔（Christian Bessiere）、尼娜·纳罗季斯卡（Nina Narodytska）、克劳德·盖·坎佩尔（Claude-Guy Quimper）、托比·沃尔什（Toby Walsh） 相关软件： 乔科；算法457；ptsplib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
coco_gop_ex公司 5份文件引用(2014–2021) 软件作者： 马科特，米哈利·萨巴；赫尔曼·施奇尔 相关软件： 椰子；BARON公司；QuadProgBB… 主要字段： 运筹学、数学规划（90-XX）
产量 5份文件引用(2007–2021) 软件作者： 瓦法卡鲁伊；Marie-JoséHuguet；皮埃尔·洛佩兹（Pierre Lopez）；Wady Naanaa 相关软件： 离散；帝国；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
CAMA公司 4份文件引用(2008–2016) 软件作者： 刘聪；安德烈亚斯·库尔曼（Andreas Kuehlmann）；马修·莫斯克维奇 相关软件： 微量锌；米斯特拉尔；iZplus… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
中国科技大学 2份文件引用(2022–2023) 软件作者： 罗伯托·波塞纳托 相关软件： 时间感知BPMN-js；bpmn-js；Uppaal… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
国民账户体系 3份文件引用(2020–2023) 软件作者： 谢思瑞、郑和辉、刘春晓、梁林 相关软件： DARTS；AlexNet；ImageNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
证书 3份文件引用(2022–2023) 软件作者： Kan Shuanglong、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： SMT-LIB；Isabelle/HOL；z3… 主要字段： 计算机科学（68-XX）
欧几里得 2份文件引用(2012–2017) 软件作者： 阿尔诺·哥特利布（Arnaud Gotlieb）；本杰明·卡玛；IRISA的Lande项目团队 相关软件： 可爱的；投掷；派克斯… 主要字段： 计算机科学（68-XX）
袋鼠 2份文件引用(2015–2017) 软件作者： M.A.Hakim Newton、Duc Nghia Pham、Abdul Sattar、Michael Maher 相关软件： Gelisp；卡环；扁平锌… 主要字段： 运筹学、数学规划（90-XX）
QuteSAT公司 2份文件引用(2009–2017) 软件作者： Wu，C.A.，Lin，T.H.，Lee，C.C.，Huang，C.Y。 相关软件： 糠；斯基佐；Quantor… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PRODeep公司 2份文件引用(2021) 软件作者： 李锐，李杰，黄CC，杨P，黄X，张L，薛B，Hermanns H 相关软件： Reluplex；马拉博；阿波罗… 主要字段： 计算机科学（68-XX）
Wombit公司 2份文件引用(2019–2020) 软件作者： 王文喜；哈拉尔德·Söndergaard；彼得·斯图基（Peter J.Stuckey）。 相关软件： CVC4；Why3；MiniSat… 主要字段： 计算机科学（68-XX）