钙DiCaL 52篇文献引用(2019–2023) 软件作者： A.Biere。 相关软件： 玲玲；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
YalSAT卫星 35篇文献引用(2017–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；弯曲；Treengeling… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
帕拉库巴 24篇文献引用(2020–2023) 软件作者： 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 相关软件： CaDiCaL；基萨特；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
山猫 10篇文献引用(2013–2021) 软件作者： Ganesh，V.、O'Donnell，C.W.、Soos，M.、Devadas，S.、Rinard，M.C.、Solar-Lezama，A。 相关软件： 数学检查；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
IsaFoL公司 5份文件引用(2016–2018) 软件作者： Branchette，J.C.、Fleury，M.、Schlichtkrull，A.、Traytel，D。 相关软件： 存档正式证据；Isabelle/HOL；versat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
水晶球 4份文件引用(2019–2022) 软件作者： 马特·索斯；拉加夫·库尔卡尼；Kuldeep S.梅尔。 相关软件： 糠；MiniSat；OTTER… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GlueMiniSat公司 2份文件引用(2014–2022) 软件作者： Nabeshima，H.、Iwanuma，K.、Inoue，K。 相关软件： MiniSat；葡萄糖；CaDiCaL… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SATGraf公司 3份文件引用(2015–2016) 软件作者： 扎克·纽瑟姆；威廉·林赛（William Lindsay）；维杰·加内什；梁家辉；塞巴斯蒂安·费奇迈斯特；Czarnecki、Krzysztof 相关软件： MiniSat；DPvis；上升… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
PRe学习 2份文件引用(2022–2023) 软件作者： 约瑟夫·里夫斯（Joseph E.Reeves）。；Heule，Marijn J.H。；Randal E.布莱恩特。 相关软件： CaDiCaL；Paracooba；基萨特… 主要字段： 计算机科学（68-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： 费利克斯·温特勒（Felix Winterer）、卡斯滕·谢布勒（Karsten Scheibler）、利奥诺·温特勒、马蒂亚斯·绍尔（Matthias Sauer） 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
考拉 1份文件引用(2023) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；莎拉·温克勒 相关软件： 常春藤；常春藤；iProver… 主要字段： 计算机科学（68-XX）