WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗，胭脂红；沃尔夫冈·法伯；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DRAT微调 56篇文献引用(2014–2023) 软件作者： 内森·韦茨勒；Heule，Marijn J.H。；沃伦·亨特。 相关软件： MiniSat；Isabelle/HOL；CaDiCaL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
夏普SAT 32篇文献引用(2011–2023) 软件作者： M·瑟利。 相关软件： 夏普；GANAK公司；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
PrecoSAT公司 引用于22份文件(2010–2022) 软件作者： 比尔，A 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
协处理器 12份文件引用(2015–2021) 软件作者： 诺伯特·曼泰 相关软件： 玲玲；MiniSat；弯曲… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
HordeSat卫星 13份文件引用(2015–2023) 软件作者： 托马斯·巴利奥；彼得·桑德斯；辛兹，卡斯滕 相关软件： ManySAT公司；弯曲；MiniSat… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
tawSolver软件 12份文件引用(1962–2022) 软件作者： 坦比尔·艾哈迈德；奥利弗·库尔曼 相关软件： 数学检查；山猫；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
PaMiraXT公司 11份文件引用(2009–2021) 软件作者： 舒伯特，托拜厄斯；马修·刘易斯；贝恩德·贝克尔 相关软件： ManySAT公司；玲玲；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT公司；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
武力 10篇文献引用(2005–2023) 软件作者： 阿洛尔，F.A。；马尔科夫，I.L。；萨卡拉，K.A。 相关软件： SBSAT；糠；MiniSat… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；GitHub… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
SAT时CUD 6篇文献引用(2016–2021) 软件作者： A.Dal Pal'u、A.Dovier、A.Formisano、E.Pontelli 相关软件： ManySAT公司；玲玲；弯曲… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
gpremeencemm公司 引用于7份文件(2016–2022) 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： 累积mm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SaDiCaL公司 引用于7份文件(2019–2023) 软件作者： Marijn J.H.Heule、Benjamin Kiesl、Armin Biere 相关软件： CaDiCaL；DRAT-饰件；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
齐塔卫星 4份文件引用(2006–2015) 软件作者： Blochinger，W.、Westje，W.，Kuchlin，W.和Wedeniwski，S。 相关软件： 网格卫星；糠；MiniSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
地图COMSPS_LRB 6篇文献引用(2020–2022) 软件作者： Liang，J.H。；哦，C。；加内什，V。；Czarnecki，K。；Poupart，P。 相关软件： MapleCOMSPS；CaDiCaL；查夫… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CNF发电机 4份文件引用(2020–2021) 软件作者： 马西莫·劳里亚；Elffers，Jan；雅各布诺德斯特伦；马克·维尼亚尔斯 相关软件： MiniSat；Scikit；Python… 主要字段： 阶、格、有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CDCLSym公司 4份文件引用(2018–2023) 软件作者： 哈坎·梅廷；苏海卜·巴里尔；科朗格，马克西米利安；Fabrice Kordon公司 相关软件： MiniSat；SymChaff；PSATO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
水晶球 4份文件引用（2019年至2022年） 软件作者： 马特·索斯；拉加夫库尔卡尼；Kuldeep S.梅尔。 相关软件： 糠；MiniSat；OTTER… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
MPI部门QBF 4份文件引用(2014–2019) 软件作者： 乔丹，C.，凯撒，L.，朗辛，F.，塞德尔，M。 相关软件： DepQBF；QMiraXT；罕见… 主要字段： 计算机科学（68-XX）
帕萨特 引用于3份文件(2006–2009) 软件作者： Shi，J.、Fey，G.、Drechsler，R.、Glowatz，A.、Hapke，F.、Schlöffel，J。 相关软件： 汉尼拔；苏格拉底；HITEC… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
DRABT公司 2份文件引用(2015–2016) 软件作者： Marijn J.H.Heule；阿明·比尔 相关软件： MiniSat；DRAT-饰件；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
地图卫星 2份文件引用(2017–2020) 软件作者： 贾慧亮；维杰·加内什（Vijay Ganesh）；滑铁卢大学 相关软件： 鹦鹉螺；踪迹；zChaff… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
OK库 2份文件引用(2009–2014) 软件作者： O.库尔曼。 相关软件： MiniSat；SATO；玲玲… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
MiniSym公司 1份文件引用(2018) 软件作者： 哈坎·梅廷；苏海卜·巴里尔；科朗格，马克西米利安；Fabrice Kordon公司 相关软件： MiniSat；CDCLSym；时髦… 主要字段： 计算机科学（68-XX）