糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
UnitWalk公司 33篇文献引用(2002–2023) 软件作者： 爱德华·赫施（Edward A.Hirsch）。；阿里斯特·科耶夫尼科夫 相关软件： 糠；SATO；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·M·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
PySAT公司 27篇文献引用(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Quantor公司 23篇文献引用(2005–2023) 软件作者： 阿明·比尔 相关软件： 斯基佐；QUBOS公司；部门QBF… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Zchaff2004型 16篇文献引用(2005–2016) 软件作者： Yogesh S.Mahajan。；傅朝辉；沙拉德·马利克 相关软件： MiniSat；糠；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
InKreSAT公司 9份文件引用(2013–2022) 软件作者： 马克·卡明斯基（Mark Kaminski）；托比亚斯·特比 相关软件： 斯巴达克斯；BDDTab；FaCT++… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SymChaff公司 8份文件引用(2007–2022) 软件作者： 阿什什·萨巴沃尔 相关软件： MiniSat；极乐；nauty… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
累积mm 7份文件引用(2016–2022) 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： gpremeencemm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
gpremeencemm公司 7份文件引用(2016–2022) 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： 累积mm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
meSAT公司 7份文件引用(2014–2023) 软件作者： 米尔科·斯托贾迪诺维奇；菲利普·马里奇 相关软件： 微量锌；糖；Yices… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
焊接工艺规范3 7份文件引用(2017–2022) 软件作者： 卡洛斯·安索特吉；乔尔·加布 相关软件： 周六4j；QMaxSAT；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
齐塔卫星 4份文件引用(2006–2015) 软件作者： Blochinger，W.、Westje，W.，Kuchlin，W.和Wedeniwski，S。 相关软件： 网格卫星；糠；MiniSat… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-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）
NLocalSAT（非本地卫星） 引用于3份文件(2021–2023) 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件： CCAnr；YalSAT；玲玲… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
卫星UZK 4份文件引用(2014–2020) 软件作者： van der Grinten，A.、Wotzlaw，A.、Speckenmeyer，E.、Porschen，S。 相关软件： MiniSat；葡萄糖；玲玲… 主要字段： 组合数学（05-XX）；计算机科学（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）
3巴 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）
MiniSym公司 1份文件引用（2018年） 软件作者： 哈坎·梅廷；苏海卜·巴里尔；科朗格，马克西米利安；Fabrice Kordon公司 相关软件： MiniSat；CDCLSym；时髦… 主要字段： 计算机科学（68-XX）