超小卫星 587份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
萨特齐拉 95篇文献引用(2008–2023) 软件作者： 徐，L。；Hutter，F。；胡斯，H.H。；Leyton Brown，K。 相关软件： 帕拉米尔斯；MiniSat；SMAC… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
Treengeling公司 67篇文献引用(2014–2023) 软件作者： 比尔，A 相关软件： 弯曲；玲玲；YalSAT… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗，胭脂红；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
葡萄糖 57篇文献引用(2012–2023) 软件作者： Gilles Audemard；劳伦特·西蒙 相关软件： MiniSat；糠；玲玲… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
zChaff公司 32篇文献引用（2003年至2020年） 软件作者： 约格什·马哈扬 相关软件： 糠；MiniSat；伯克敏… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
YalSAT卫星 35篇文献引用(2017–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；弯曲；Treengeling… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
Quantor公司 23篇文献引用(2005–2023) 软件作者： 阿明·比尔 相关软件： 斯基佐；QUBOS公司；部门QBF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
预科学卫星 引用于22份文件(2010–2022) 软件作者： 比尔，A 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
皇家卫星 18篇文献引用(2008–2016) 软件作者： 结Pipatsrisawat；阿德南·达尔维什 相关软件： MiniSat；糠；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr公司；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
网格卫星 10篇文献引用(2006–2019) 软件作者： 瓦希德·克拉巴克；里奇·沃尔斯基 相关软件： 糠；SATO；PSATO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PaMiraXT公司 11份文件引用(2009–2021) 软件作者： 舒伯特，托拜厄斯；马修·刘易斯；贝恩德·贝克尔 相关软件： ManySAT公司；玲玲；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
c-sat卫星 6篇文献引用(1996–2015) 软件作者： Kei Ohmura；Kazunori上田 相关软件： ManySAT公司；弯曲；查夫… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CCAnr公司 引用于7份文件(2015–2023) 软件作者： 蔡少伟；罗川；苏凯乐 相关软件： 玲玲；CCASat；YalSAT… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
MapleCOMSPS公司 8份文件引用(2020–2022) 软件作者： Liang，J.H.，Oh，C.，Ganesh，V.，Czarnecki，K.，Poupart，P。 相关软件： CaDiCaL；MapleCOMSPS_LRB；YalSAT… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
格栅 6篇文献引用(2018–2022) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；DRAT-饰件；GitHub… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
Sparrow2距离 6篇文献引用(2015–2021) 软件作者： 阿德里安·巴林；诺伯特·曼泰 相关软件： 玲玲；CCAnr公司；SMAC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
阿祖卡尔 4份文件引用(2014–2022) 软件作者： Tomoya Tanjo、Naoyuki Tamura、Mutsunori Banbara 相关软件： Gecode公司；微量锌；糖… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
地图COMSPS_LRB 6篇文献引用(2020–2022) 软件作者： Liang，J.H。；哦，C。；加内什，V。；Czarnecki，K。；Poupart，P。 相关软件： MapleCOMSPS；CaDiCaL；查夫… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
水晶球 4份文件引用（2019年至2022年） 软件作者： 马特·索斯；拉加夫库尔卡尼；Kuldeep S.梅尔。 相关软件： 糠；MiniSat；OTTER… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CSP2SAT4J型 引用于3份文件（2014年至2016年） 软件作者： 勒贝雷，D.，林奇，I。 相关软件： 微量锌；萨齐拉；阿祖卡… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NLocalSAT（非本地卫星） 引用于3份文件(2021–2023) 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件： CCAnr公司；YalSAT；玲玲… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GlueMiniSat公司 2份文件引用(2014–2022) 软件作者： Nabeshima，H.、Iwanuma，K.、Inoue，K。 相关软件： MiniSat；葡萄糖；CaDiCaL… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
地图_LCM_Dist_ChronoBT 引用于3份文件(2020–2021) 软件作者： Nadel，A.、Ryvchin，V.、Chris Cameron、Xing Jin、Kevin Leyton Brown 相关软件： MiniSat；葡萄糖；YalSAT… 主要字段： 计算机科学（68-XX）
MapleAmpharos公司 1份文件引用(2021) 软件作者： 赛义德·内贾蒂；纽瑟姆，扎克；约瑟夫·斯科特（Joseph Scott）；梁家辉；凯瑟琳·格博提斯（Catherine Gebotys）；Poupart，帕斯卡；维杰·加内什 相关软件： Transalg；斯普拉茨；AmPharoS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
地图卫星 2份文件引用(2017–2020) 软件作者： 贾慧亮；维杰·加内什（Vijay Ganesh）；滑铁卢大学 相关软件： 鹦鹉螺；踪迹；zChaff… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
PRe学习 2份文件引用(2022–2023) 软件作者： 约瑟夫·里夫斯（Joseph E.Reeves）。；Heule，Marijn J.H。；Randal E.布莱恩特。 相关软件： CaDiCaL；帕拉库巴；基萨特… 主要字段： 计算机科学（68-XX）
CEGARTIX公司 1份文件引用(2017) 软件作者： 德沃夏克，W。；Järvisalo，M。；Wallner，J.P。；南卡罗来纳州沃尔特兰 相关软件： 糠；MiniSat；葡萄糖… 主要字段： 计算机科学（68-XX）
SatELite公司 1份文件引用（2014年） 软件作者： Niklas Eén、Niklas Sörensson 相关软件： MiniSat；SATIRE（饱和） 主要字段： 计算机科学（68-XX）