CALMA公司 109篇文献引用(1999–2024) 软件作者： 卡伦·阿达尔；科尔·赫肯斯；Lenstra，Jan Karel；谢尔盖·蒂乌林 相关软件： CPLEX；禁忌搜索；DIMACS… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者： L.Zhang；S.Malik；普林斯顿大学SAT研究小组；Yinlei余 相关软件： 糠；DepQBF；QUBOS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
乔科 引用于62份文件(2001–2022) 软件作者： Choco团队：http://www.emn.fr/z-info/choco-solver/index.php？page=团队 相关软件： Gecode公司；CPLEX；克莱尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RealPaver公司 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Numerica公司 48篇文献引用(1998–2023) 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
向外旋转 45篇文献引用(1999–2021) 软件作者： 美国兹威克。 相关软件： 环形切口；塞杜米；SDPT3… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PARPAP公司 38篇文献引用(2006–2023) 软件作者： 斯特凡·贝特尔斯；托尔斯滕·法勒 相关软件： VRP；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
马拉布 26篇文献引用(2021–2024) 软件作者： Katz，G.，Huang，D.A.，Ibeling，D.，Julian，K.，Lazarus，C.，Lim，R.，Shah，P.，Thakoor，S.，Wu，H.，Zelji-C，A.，Dill，D.L.，Kochenderfer，M.J.，Barrett，C。 相关软件： Reluplex；NNV；AI2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
BL数据集 27篇文献引用(2000–2023) 软件作者： 菲利普·巴蒂斯特（Philippe Baptiste）、克洛德·勒·佩普（Claude Le Pape） 相关软件： PSPLIB；炸薯条；克莱尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CP计划 26篇文献引用(2000–2011) 软件作者： 彼得·范·比克 相关软件： 图形平面图；步行卫星；PDDL… 主要字段： 群论与推广（20-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
全球实验室 15篇文献引用（2008年至2017年） 软件作者： 穹顶，费伦茨 相关软件： BARON公司；椰子；LINDO… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ezcsp公司 13份文件引用(2009–2022) 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
铺路机 11份文件引用（2003年至2022年） 软件作者： Michael R.Bussieck。；Steven P.Dirkse。；斯特凡·维格尔斯克 相关软件： GAMS；邦明；镜头… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
太阳神 10篇文献引用(1997–2015) 软件作者： 劳伦特·米歇尔（Laurent Michel）、帕斯卡·范·亨特利克（Pascal Van Hentenryck） 相关软件： AMPL；牛顿；FleetWave… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
链卫星 8份文件引用(2010–2020) 软件作者： M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz 相关软件： 步行卫星；ManySAT；TTTPLOTS… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯里瓦斯塔瓦，比斯拉夫；Subbarao市Kombhampati；多，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
FALCON公司 8份文件引用(1996–2022) 软件作者： 张，J。 相关软件： 梅斯4；MiniSat；ModGen… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
超级工作台 8份文件引用(2020–2023) 软件作者： 沃尔夫冈·费希尔、乔治·戈特洛布、戴维德·隆戈、莱因哈德·皮克勒 相关软件： 学习；MiniCon；空标题… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
sunny-cp公司 8份文件引用(2015–2023) 软件作者： Roberto Amadini、Maurizio Gabbrielli、Jacobo Mauro 相关软件： 萨齐拉；微量锌；桑尼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
meSAT公司 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MGTP公司 6篇文献引用（1995年至2013年） 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
齐塔卫星 4份文件引用(2006–2015) 软件作者： Blochinger，W.、Westje，W.、Küchlin，W.、Wedeniwski，S。 相关软件： 网格卫星；糠；MiniSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
BACP公司 4份文件引用(2005–2014) 软件作者： 托尼·兰伯特（Tony Lambert）；卡洛斯·卡斯特罗；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；沙特，弗雷德里克 相关软件： CSPLib；EasyLocal公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ESY公司 2份文件引用(2014–2016) 软件作者： Papamichail，K.N.，法语，S。 相关软件： WINPRE；WINGDSS；视觉UTA… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
产量 5份文件引用(2007–2021) 软件作者： 瓦法卡鲁伊；Marie-JoséHuguet；皮埃尔·洛佩兹（Pierre Lopez）；Wady Naanaa 相关软件： 自由裁量权；帝国；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
MLIC公司 4份文件引用(2021–2023) 软件作者： 德米特里·马利奥托夫（Dmitry Malioutov）、库尔迪普·S·梅尔（Kuldeep S.Meel） 相关软件： IMLI；UCI-ml；PySAT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
MOBY-DIC公司 4份文件引用(2013–2015) 软件作者： Oliveri，A.，Barcelli，D.，Bempoad，A.，Genuit，B.A.G.，Heemels，W.P.M.H.，Poggi，T.等。 相关软件： MPT；PnPMPC公司 主要字段： 系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
阿尔罗斯 3份文件引用(2017–2022) 软件作者： 穆斯塔法（Mustafa）；米歇尔·塞巴格 相关软件： 帕拉米尔斯；萨齐拉；GNU并行… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
InC公司++ 3份文件引用(2002–2017) 软件作者： Hyvönen，E.，De Pascale，S。 相关软件： 进入PT_90；JGloptLab；UniCalc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
ES模型 2份文件引用(2019–2022) 软件作者： Zhang，Z.，Zhao，K。 相关软件： GISolver；EHEX；Wviews… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Gelisp公司 1份文件引用(2017) 软件作者： 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 运筹学、数学规划（90-XX）
ADMIT公司 1份文件引用(2012) 软件作者： S.Streif、A.Savchenko、P.Rumschinski、S.Borchers、R.Findeisen。 相关软件： YALMIP；CPLEX公司 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
Hypergraph库 1份文件引用(2021) 软件作者： Ganzow，T.、Gottlob，G.、Musliu，N.、Samer，M。 相关软件： iBench公司；HyperBench；逻辑Blob… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
ManiSolve（操纵求解） 1份文件引用(2019) 软件作者： 阿里·巴哈列夫；阿诺德·诺伊梅尔；赫尔曼·施奇尔 相关软件： Dymola；GitHub；t-SNE… 主要字段： 数值分析（65-XX）
MLBSE公司 在0个文档中引用 软件作者： 卜、雷；梁永娟；谢准义；钱洪；Hu、Yi Qi；于，杨；陈欣；李宣东 相关软件： 日本煤炭公司；jCUTE公司；XSat… 主要字段： 计算机科学（68-XX）
急板地 1份文件引用(2022) 软件作者： 塞纳帕蒂，德布拉塔；阿纳布·萨卡尔（Arnab Sarkar）；钱丹·卡法 相关软件： iFogSim；CPLEX公司 主要字段： 计算机科学（68-XX）
RCDC公司 1份文件引用(2013) 软件作者： Navarrete，I.、Morales，A.、Sciavicco，G.、Cardenas，M。 相关软件： XPath（XPath） 主要字段： 计算机科学（68-XX）
ZDC公司 1份文件引用(2007) 软件作者： Edward Tsang；约翰·福特；帕特里克·米尔斯（Patrick Mills）；理查德·布拉德威尔（Richard Bradwell）；理查德·威廉姆斯；保罗·斯科特 相关软件： DiSCiPl；木槿；Excel… 主要字段： 运筹学、数学规划（90-XX）