CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；灌篮；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
马戏团 79份文件引用(2002–2023) 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
卡斯珀 83份文件引用(1999–2018) 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；水龙头；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
乔科 62篇文献引用(2001–2022) 软件作者： Choco团队：http://www.emn.fr/z-info/choco-solver/index.php？page=团队 相关软件： 通用电气；CPLEX；克莱尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
第二代外国存托凭证 45篇文献引用(2000–2016) 软件作者： 正式系统 相关软件： 自旋蛋白；Z；马戏团… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
割刀1 48篇文献引用(1995–2023) 软件作者： Gau，T.、Wäscher，G。 相关软件： OR-库；CPLEX；背包… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
Clingcon公司 39篇文献引用(2009–2022) 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
查找器 39篇文献引用(1993–2020) 软件作者： 约翰·斯莱尼 相关软件： 梅斯4；萨奇莫；TPTP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
FDR3公司 29篇文献引用(2014–2023) 软件作者： 托马斯·吉布森·罗宾逊；菲利普·阿姆斯特朗；亚历山大·布尔加科夫；安德鲁·W·罗斯科 相关软件： CADP；Z；LTS最小值… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CCSP公司 14篇文献引用(1993–2022) 软件作者： 阿罗史密斯，贝丝；布鲁斯·麦克米林 相关软件： 马戏团；FDR3；Z轴 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
ezcsp公司 13份文件引用(2009–2022) 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
伊莎贝尔/马戏团 12份文件引用(2013–2017) 软件作者： Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件： Isabelle/HOL；电源保护；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
变形杆菌属 10篇文献引用(2015–2022) 软件作者： 巴里·赫尔利；Kotthoff，Lars；尤里·马利茨基；巴里·奥沙利文 相关软件： 微量锌；萨齐拉；桑尼… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
VHPOP（VHPOP） 10篇文献引用(2003–2021) 软件作者： Younes，H.L.S。；R.G.西蒙斯。 相关软件： 图形平面图；PDDL；UCPOP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao Kombhampati；多，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
动态ASP 8份文件引用(2010–2023) 软件作者： 迈克尔·莫拉克（Michael Morak）；莱因哈德·皮克勒；Rümmele，Stefan；斯特凡·沃尔特兰 相关软件： 克林戈；杰拉西尔；收件人… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
超级工作台 8份文件引用（2020年-2023年） 软件作者： 沃尔夫冈·费希尔、乔治·戈特洛布、戴维德·隆戈、莱因哈德·皮克勒 相关软件： 学习；MiniCon；空标题… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
奥卡姆π 6篇文献引用(2005–2021) 软件作者： 彼得·H·韦尔奇。；弗雷德里克·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
AltAlt键 6篇文献引用(2002–2009) 软件作者： 罗密奥·桑切斯·奈根达（Romeo Sanchez Nigenda）、玄龙阮（XuanLong Nguyen）、苏巴拉奥·坎巴帕蒂（Subbarao Kambhampati） 相关软件： STAN；图形平面图；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
meSAT系统 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
传感器DCSP 4份文件引用(2005–2020) 软件作者： 拉蒙贝加尔；卡梅尔·多姆什拉克；塞萨尔·费尔南德斯；卡拉·戈麦斯；Krishnamachari，巴斯卡尔；巴特·塞尔曼；瓦尔斯，马格达 相关软件： DisChoco；CSPLib；算法97… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ArcAngelC公司 5份文件引用(2010–2015) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；Zeyda，Frank；安娜·卡瓦尔坎蒂 相关软件： 马戏团；Z；电源保护… 主要字段： 计算机科学（68-XX）
阿祖卡 4份文件引用(2014–2022) 软件作者： Tomoya Tanjo、Naoyuki Tamura、Mutsunori Banbara 相关软件： 通用电气；微量锌；糖… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
BACP公司 4份文件引用（2005年-2014年） 软件作者： 托尼·兰伯特（Tony Lambert）；卡斯特罗，卡洛斯；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；沙特，弗雷德里克 相关软件： CSPLib；EasyLocal公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
FaMa公司 在0个文档中引用 软件作者： D.Benavides、S.Segura、P.特立尼达、A.Ruiz-Cortes 相关软件： 沙漠FD；SICStus公司；禁忌搜索… 主要字段： 计算机科学（68-XX）
简单 5份文件引用(2010–2020) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；Yices；SMT-LIB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
YOLOv4公司 4份文件引用(2022–2023) 软件作者： Alexey Bochkovskiy、Chien-Yao Wang、Hong Yuan Mark Liao 相关软件： 更快的R-CNN；固态硬盘；SqueezeNet… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
CSP2SAT4J型 3份文件引用(2014–2016) 软件作者： 勒贝雷，D.，林奇，I。 相关软件： 微量锌；萨齐拉；阿祖卡… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CSSim公司 4份文件引用(2007–2009) 软件作者： 菲利普·J·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 相关软件： 埃菲尔；勺；TCOZ… 主要字段： 计算机科学（68-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Gelisp公司 1份文件引用（2017年） 软件作者： 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 运筹学、数学规划（90-XX）
OK库 2份文件引用(2009–2014) 软件作者： O.库尔曼。 相关软件： MiniSat；SATO；玲玲… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PyCSP公司 2份文件引用(2022–2024) 软件作者： 里卡多·马尔皮卡·加拉西 相关软件： GRI-科技3.0；科科斯；TChem… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
Hypergraph库 1份文件引用(2021) 软件作者： Ganzow，T.、Gottlob，G.、Musliu，N.、Samer，M。 相关软件： i工作台；HyperBench；LogicBlox… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
重新CSP 1份文件引用(2020) 软件作者： 卡洛斯·加林多；西田直树；乔塞普·席尔瓦（Josep Silva）；萨尔瓦多塔马利特 相关软件： 考德；埃尔朗；格拉夫维兹 主要字段： 计算机科学（68-XX）；量子理论（81-XX）