乔科 62篇文献引用(2001–2022) 软件作者： Choco团队：http://www.emn.fr/z-info/choco-solver/index.php？page=团队 相关软件： 通用电气；CPLEX；克莱尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
快速拉伸 31份文件引用(2008–2022) 软件作者： 容克，美国。 相关软件： MiniSat；PicoSAT；葡萄糖… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SALSA公司 30篇文献引用(2000–2017) 软件作者： 弗朗索瓦·拉伯特；伊夫·卡索 相关软件： 彗星；本地化人员；Oz… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
日本石油公司 16篇文献引用(2007–2023) 软件作者： Krzysztof Kuchcinski；Radoslaw Szymanek公司 相关软件： 通用电气；微量锌；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CPGraph（CPGraph） 16篇文献引用(2005–2022) 软件作者： Deville，Y.、Dooms，G.、Zampelli，S.、Dupont，P。 相关软件： 红衣主教；通用电气；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ezcsp公司 13份文件引用(2009–2022) 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
SIMPL公司 12份文件引用(2004–2022) 软件作者： 伊奥努·阿隆；约翰·胡克（John N.Hooker）。；Yunes，Tallys H。 相关软件： SCIP；SCIL；MIPLIB… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PSICO公司 9份文件引用(2002–2017) 软件作者： 路德维希·克里帕尔；佩德罗·巴拉奥纳 相关软件： 椰子；全球实验室；BARON… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MCS公司 9份文件引用（1997年至2017年） 软件作者： Le Huédé，F。；Grabisch，M。；拉布雷切，C。；萨文特，P。 相关软件： FIRBS；超启发式；M-MACBETH… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
数字插孔 7份文件引用(2013–2018) 软件作者： 巴里·奥沙利文；Eoin O'Mahony；伊曼纽尔·希伯拉德 相关软件： 微量锌；ToulBar2；桑尼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DiSCiPl公司 7份文件引用(2007–2016) 软件作者： – 相关软件： 彗星；Oz Explorer；VIFID/TRIFID… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
sunny-cp公司 8份文件引用(2015–2023) 软件作者： 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗 相关软件： 萨齐拉；微量锌；桑尼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SeaPearl公司 4份文件引用(2021–2023) 软件作者： 费利克斯Chalumeau；伊兰·库隆；瓶盖，昆廷；卢梭，路易斯·马汀 相关软件： NeuroSAT；AlphaGo；亚当… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
工具 4份文件引用(2005–2006) 软件作者： de Givry S.、Jeannin L。 相关软件： OPL；SALSA；建模器… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
汤姆西姆 3份文件引用(1999–2018) 软件作者： Tomlab优化公司。；佩·鲁特奎斯特（Per Rutquist）；马库斯·埃德瓦尔 相关软件： PROPT；TOMLAB公司；SOCS… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
BiGGER公司 2份文件引用(2005–2008) 软件作者： 路德维希·克里帕尔；佩德罗·巴拉奥纳 相关软件： PSICO；奇美拉；生物活性炭… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
AmPharoS公司 在0个文档中引用 软件作者： Gilles Audemard；Jean-Marie Lagniez；尼古拉斯·斯泽潘斯基（Nicolas Szczepanski）；塞巴斯蒂安·塔巴里 相关软件： 斯普拉茨；MapleAmpharos；糖浆… 主要字段： 计算机科学（68-XX）
RNAi折叠2T 在0个文档中引用 软件作者： 胡安·安东尼奥·加西亚-马汀（Juan Antonio Garcia-Martin）、伊万·多图（Ivan Dotu）、哈维尔·费尔南德斯·卡莫罗（Javier Fernandez-Chamorro）、格洛丽亚·洛扎诺（Gloria Lozano）、豪尔赫·拉马乔（Jorge Ramajo）、恩 相关软件： – 主要字段： –