超小卫星 587份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
霍尔 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SMT-LIB公司 引用于222份文件(2004–2024) 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SATO公司 190份文件引用(1996–2023) 软件作者： 张，H 相关软件： 糠；伯克敏；PSATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
伊塞斯 168篇文献中引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
伯克明州 149份文件引用（2002年至2022年） 软件作者： 尤金·戈德伯格（Eugene Goldberg）；雅科夫·诺维科夫 相关软件： 糠；MiniSat；SATO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；黄蜂… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
萨特齐拉 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）…
玲玲 100篇文献引用(2011–2024) 软件作者： Heule，Marijn J.H。；阿明·比尔 相关软件： 弯曲；Treengeling；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PicoSAT卫星 86篇文献引用(2008–2023) 软件作者： 阿明·比尔 相关软件： MiniSat；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
周六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；MiniSat；箔条… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
弯曲 86篇文献引用(2010–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；挑战；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
数学SAT5 80篇文献引用(2013–2023) 软件作者： 亚历山德罗·西马蒂；阿尔贝托·格里乔；沙夫斯马，巴斯蒂安·乔斯特；罗伯托·塞巴斯蒂亚尼 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；麦凯恩，诺曼；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
C模型 68篇文献引用(2004–2022) 软件作者： 尤利娅·利勒 相关软件： 亚萨特；平滑；格林戈… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者： L.Zhang；S.Malik；普林斯顿大学SAT研究小组；Yinlei余 相关软件： 糠；DepQBF；QUBOS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-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）…
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SATLIB公司 56篇文献引用(2000–2023) 软件作者： 霍尔格·胡斯。；托马斯·苏泽尔 相关软件： 糠；TPTP；Walksat… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…
Velev SAT基准 50篇文献引用(2000–2021) 软件作者： 米罗斯拉夫·韦列夫 相关软件： 糠；SATO；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
葡萄糖 57篇文献引用(2012–2023) 软件作者： Gilles Audemard；劳伦特·西蒙 相关软件： MiniSat；糠；玲玲… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DRAT微调 56篇文献引用(2014–2023) 软件作者： 内森·韦兹勒（Nathan Wetzler）；Heule，Marijn J.H。；沃伦·亨特。 相关软件： MiniSat；Isabelle/HOL；CaDiCaL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
d密封 50篇文献引用(2013–2023) 软件作者： 高思春；孔顺浩；埃德蒙·克拉克（Edmund M.Clarke）。 相关软件： z3；辅酶q；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
加密MiniSat 44篇文献引用(2011–2023) 软件作者： M·索斯。 相关软件： MiniSat；弯曲；玲玲… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；计算机科学（68-XX）…
ManySAT公司 40篇文献引用(2005–2023) 软件作者： 尤塞夫·哈马迪；赛义德·贾布尔；赛斯，拉赫达尔 相关软件： MiniSat；弯曲；箔条… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；运筹学，数学规划（90-XX）…
向外旋转 45篇文献引用(1999–2021) 软件作者： 美国兹威克。 相关软件： CirCut公司；SeDuMi公司；SDPT3… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
精神分裂症 42篇文献引用(1996–2023) 软件作者： Hantao Zhang、Maria Paola Bonacina、Jieh Xiang 相关软件： SATO；MiniSat；箔条… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
最大2-SAT 41篇文献引用(2000–2017) 软件作者： 爱德华·赫施。 相关软件： 糠；MaxSolver；CSDP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
罕见的QS 41篇文献引用(2012–2022) 软件作者： 米科拉什·哈诺塔；威廉·克利伯（William Klieber）；若昂·西尔瓦侯爵；埃德蒙·克拉克 相关软件： DepQBF；布洛克；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；注册会计师检查程序… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者： 费德里科·赫拉斯；哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯 相关软件： 周六4j；MaxHS；QMaxSAT… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UBCSAT公司 37篇文献引用(2004–2021) 软件作者： Dave A.D.汤普金斯。；霍尔格·H·胡斯。 相关软件： MiniSat；帕拉米尔斯；箔条… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
围攻 34份文件引用（2005年至2021年） 软件作者： – 相关软件： 糠；伯克敏；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
开放-WBO 36篇文献引用(2014–2023) 软件作者： 鲁本·马丁斯（Ruben Martins）；Vasco Manquinho；林奇，因斯 相关软件： 周六4j；QMaxSAT；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
UnitWalk公司 33篇文献引用（2002年-2023年） 软件作者： 爱德华·赫施（Edward A.Hirsch）。；阿里斯特·科耶夫尼科夫 相关软件： 糠；SATO；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
zChaff公司 32篇文献引用(2003–2020) 软件作者： 约格什·马哈扬 相关软件： 糠；MiniSat；伯克敏… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
VerICS版本 34份文件引用(2005–2023) 软件作者： 兹布热兹尼（Zbrzezny，Andrzej）；沃兹纳，博泽纳 相关软件： MCMAS；MCK；MOCHA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
YalSAT公司 35篇文献引用(2017–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；弯曲；Treengeling… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·M·希尼。；卡里姆·A·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
布洛克 33篇文献引用(2011–2023) 软件作者： Armin Biere、Florian Lonsing、Martina Seidl 相关软件： DepQBF；RAReQS；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
夏普SAT 32篇文献引用(2011–2023) 软件作者： M·瑟利。 相关软件： 夏普；GANAK公司；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
快速拉伸 31份文件引用(2008–2022) 软件作者： 容克，美国。 相关软件： MiniSat；PicoSAT；葡萄糖… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
南美林猫 23篇文献引用(2007–2022) 软件作者： 埃米娜·托拉克；丹尼尔·杰克逊 相关软件： z3；Isabelle/HOL；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PySAT公司 引用于27份文件(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
HySAT卫星 26篇文献引用（2006年至2021年） 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
魁北克省++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；鹌鹑；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
图尔巴尔2 引用于27份文件(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCLS公司 26篇文献引用(2015–2023) 软件作者： 罗，C。；蔡，S。；Wu，W。；杰，Z。；苏，K。 相关软件： MaxHS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
AMUSE公司 24篇文献引用（2005年至2021年） 软件作者： 哦，是的，Mneimneh MN，Andraus ZS，Sakallah KA，Markov IL 相关软件： MUP；MiniSat；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
QMax卫星 24篇文献引用(2012–2023) 软件作者： 小村，M.，张，T.，藤田，H.，长谷川，R。 相关软件： 周六4j；MaxHS；MiniMaxSat… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
基萨特 23篇文献引用(2021–2023) 软件作者： 比尔，A 相关软件： CaDiCaL；Paracooba；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Quantor公司 23篇文献引用(2005–2023) 软件作者： 阿明·比尔 相关软件： 斯基佐；QUBOS公司；部门QBF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BG-WalkSAT公司 22篇文献引用(2004–2020) 软件作者： Moshe Looks、Ananda Rangan、Weixing Zhang 相关软件： MiniSat；随身听；UBCSAT… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学规划（90-XX）…
PrecoSAT公司 22篇文献引用(2010–2022) 软件作者： 比尔，A 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
皇家卫星 18篇文献引用(2008–2016) 软件作者： 结Pipatsrisawat；阿德南·达尔维什 相关软件： MiniSat；糠；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
萨滕斯坦 20篇文献引用(2009–2023) 软件作者： KhudaBukhsh，Ashiqur R。；徐林；霍尔格·胡斯。；凯文·莱顿·布朗 相关软件： 帕拉米尔斯；irace；SMAC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NiVER公司 21篇文献引用(2005–2023) 软件作者： Sathiamoorthy Subbarayan；Dhiraj K.普拉丹。 相关软件： MiniSat；糠；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Zchaff2004型 16篇文献引用(2005–2016) 软件作者： Yogesh S.Mahajan。；傅朝辉；沙拉德·马利克 相关软件： MiniSat；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
内部控制系统 19份文件引用(2001–2016) 软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
检查围栏 18篇文献引用(2007–2018) 软件作者： Burckhardt，S.，Alur，R.，Martin，M.K。 相关软件： veriSoft；自旋蛋白；UMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿尔特·埃尔戈 15篇文献引用(2008–2022) 软件作者： 西尔万·康琼，伊芙琳·孔特让 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
协处理器 12份文件引用(2015–2021) 软件作者： 诺伯特·曼泰 相关软件： 玲玲；MiniSat；弯曲… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
HordeSat卫星 13份文件引用(2015–2023) 软件作者： 托马斯·巴利奥；彼得·桑德斯；卡斯滕·辛兹 相关软件： ManySAT公司；弯曲；MiniSat… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
CSIsat卫星 14篇文献引用(2009–2016) 软件作者： 德克·贝尔；达米安·祖弗里（Damien Zufferey）；鲁帕克·马朱姆达尔 相关软件： FOCI；公主；金刚狼… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
MUP公司 15篇文献引用(2005–2016) 软件作者： 黄J 相关软件： AMUSE；MiniSat；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MUSer2系列 15篇文献引用(2013–2023) 软件作者： 安东·贝洛夫（Anton Belov）；若昂·西尔瓦侯爵 相关软件： MiniSat；sharpSAT；显示… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SatEx公司 在11份文件中引用（2001年至2011年） 软件作者： 洛朗·西蒙；菲利普·查塔利克 相关软件： 糠；SATO；UnitWalk… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
网格卫星 10篇文献引用（2006年至2019年） 软件作者： 科拉巴赫、瓦希德；里奇·沃尔斯基 相关软件： 糠；SATO；PSATO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
3月2日 13份文件引用（2005年至2021年） 软件作者： Heule，Marijn；马克·杜福尔（Mark Dufour）；Joris van Zwieten；汉斯·范马伦 相关软件： MiniSat；糠；玲玲… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： 辅酶q；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
LMHS公司 12份文件引用(2016–2022) 软件作者： 保罗·赛科（Paul Saikko）；Berg，Jeremias；Järvisalo，马蒂 相关软件： QMaxSAT；周六4j；Open-WBO… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
液化石油气 12份文件引用(2003–2022) 软件作者： 阿方索·盖列维尼（Alfonso E.Gerevini）、亚历山德罗·萨埃蒂（Alessandro Saetti）、伊万·塞里纳（Ivan Serina）、毛罗·瓦拉蒂（Mauro Vallati） 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
斯普拉茨 在11份文件中引用(2017–2021) 软件作者： 阿明·比尔 相关软件： 弯曲；Treengeling；玲玲… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
tawSolver软件 12份文件引用(1962–2022) 软件作者： 坦比尔·艾哈迈德；奥利弗·库尔曼 相关软件： 数学检查；山猫；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；辅酶q；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
神经卫星 12份文件引用(2019–2023) 软件作者： 丹尼尔·塞尔萨姆；马修·拉姆（Matthew Lamm）；班尼茨，贝内迪克特；梁佩西；莱昂纳多·德·莫拉；大卫·L·迪尔。 相关软件： 萨齐拉；古罗比；亚当… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PaMiraXT公司 在11份文件中引用(2009–2021) 软件作者： 舒伯特，托拜厄斯；马修·刘易斯；贝恩德·贝克尔 相关软件： ManySAT公司；玲玲；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
变形杆菌属 10篇文献引用(2015–2022) 软件作者： 巴里·赫尔利；Kotthoff，Lars；尤里·马利茨基；巴里·奥沙利文 相关软件： 微量锌；萨齐拉；桑尼… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ZRes公司 12份文件引用(2000–2023) 软件作者： 查塔利奇，菲利普；洛朗·西蒙 相关软件： 糠；SATO；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT公司；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
raSAT系统 在11份文件中引用(2016–2023) 软件作者： T.V.Khanh，M.小川。 相关软件： SMT-RAT；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
SBSAT卫星 10篇文献引用(2004–2023) 软件作者： 佛朗哥，约翰；米查尔·库里尔；约翰·施利普夫（John Schlipf）；杰弗里·沃德；肖恩·韦弗（Sean Weaver）；Michael Dransfield；W.Mark范弗利特 相关软件： 不可抗力；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
链卫星 8份文件引用(2010–2020) 软件作者： M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz 相关软件： 随身听；ManySAT公司；TTTPLOTS… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…