萨特齐拉 95篇文献引用(2008–2023) 软件作者： 徐，L。；Hutter，F。；胡斯，H.H。；莱顿·布朗，K。 相关软件： 帕拉米尔斯；MiniSat；SMAC… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕拉米尔斯 96篇文献引用(2009–2024) 软件作者： Hutter，F。；胡斯，H.H。；莱顿-布朗，K。；T·斯图茨勒。 相关软件： SMAC；irace；SATZILA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CCLS公司 26篇文献引用(2015–2023) 软件作者： 罗，C。；蔡，S。；吴，W。；杰，Z。；苏，K。 相关软件： MaxHS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
NiVER公司 21篇文献引用(2005–2023) 软件作者： Sathiamoorthy Subbarayan；Dhiraj K.普拉丹。 相关软件： MiniSat；糠；TPTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
检查围栏 18篇文献引用(2007–2018) 软件作者： Burckhardt，S.，Alur，R.，Martin，M.K。 相关软件： veriSoft；自旋蛋白；UMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
链卫星 引用于8份文件(2010–2020) 软件作者： M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz 相关软件： 步行卫星；ManySAT；tttplot… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
迪维尔 9份文件引用(2005–2010) 软件作者： Malay K.Ganai。；阿蒂·古普塔；普拉纳夫·阿沙尔 相关软件： 糠；卫星抗体；CBMC… 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
武力 10篇文献引用(2005–2023) 软件作者： 阿卢尔，F.A。；马尔可夫，I.L。；萨卡拉，K.A。 相关软件： SBSAT；糠；MiniSat… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
萨托里 8份文件引用(2005–2009) 软件作者： Iyer MK、Parthasarathy G、Cheng K-T 相关软件： 糠；SATIRE（满意感）；伯克敏… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
InKreSAT公司 9份文件引用(2013–2022) 软件作者： 马克·卡明斯基（Mark Kaminski）；托比亚斯·特比 相关软件： 斯巴达克斯；BDDTab；FaCT++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
粉碎 9份文件引用(2009–2022) 软件作者： 阿洛尔，F.A.，马尔科夫，I.L.，萨卡拉，K.A。 相关软件： MiniSat；鹦鹉螺；DRAT微调… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
千立方英尺 8份文件引用(2004–2016) 软件作者： Gilles Dequen和Olivier Dubois 相关软件： 糠；MiniSat；March_eq… 主要字段： 组合数学（05-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）
地图COMSPS_LRB 6篇文献引用(2020–2022) 软件作者： Liang，J.H。；哦，C。；加内什，V。；Czarnecki，K。；Poupart，P。 相关软件： MapleCOMSPS；CaDiCaL；查夫… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
博斯普鲁斯海峡 引用于3份文件(2020–2021) 软件作者： Choo，D.，Soos，M.，Chai，K.M.A.，Meel，K.S。 相关软件： 帕切克；Nusschecker；RevSCA… 主要字段： 阶、格、有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
GlueMiniSat公司 2份文件引用(2014–2022) 软件作者： Nabeshima，H.、Iwanuma，K.、Inoue，K。 相关软件： MiniSat；葡萄糖；CaDiCaL… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
PiMaG公司 2份文件引用(2005–2011) 软件作者： Manolios、Panagiotis；Srinivasan，Sudarshan K。 相关软件： MiniSat；Calysto；Velev SAT基准… 主要字段： 计算机科学（68-XX）
电路TSAT 1份文件引用(2016) 软件作者： 纳尔逊，B.，库马尔，T.K.S。 相关软件： NuMVC；Potassco；帝国… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
稳定TBN 1份文件引用(2021) 软件作者： 戴维·哈雷（David Haley）；大卫·多蒂 相关软件： 4ti2；OR-tools；z3… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）