伯克明州 149份文件引用(2002–2022) 软件作者： 尤金·戈德伯格（Eugene Goldberg）；雅科夫·诺维科夫 相关软件： 糠；MiniSat；SATO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
勒图尔 40篇文献引用(1988–2022) 软件作者： 米努克斯，M。 相关软件： HgMUS；数据日志；JBool… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫尔齐格；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马里乌斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SAT时CUD 6篇文献引用(2016–2021) 软件作者： A.Dal Pal'u、A.Dovier、A.Formisano、E.Pontelli 相关软件： ManySAT；玲玲；弯曲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
H-先导 6篇文献引用(2009–2021) 软件作者： Carsten Ihlemann，Viorica Sofrone-Stokkermans公司 相关软件： z3；REDLOG；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
索诺拉 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特，J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
波乐萨特 1份文件引用(2017) 软件作者： 李建文；蒲、葛光；张丽君；姚银波；Vardi，Moshe Y。；何继峰 相关软件： NuSMV；阿尔塔；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）