糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
周六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；MiniSat；箔条… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者： 费德里科·赫拉斯；哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯 相关软件： 周六4j；MaxHS；QMaxSAT… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
美国公共广播电视公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；MiniSat；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
糖 31份文件引用(2006–2023) 软件作者： 田村直之（Naoyuki Tamura） 相关软件： MiniSat；微量锌；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
尼诺菲克斯 18篇文献引用(2008–2017) 软件作者： 弗洛里安·朗辛（Florian Lonsing）、阿明·比埃尔（Armin Biere） 相关软件： DepQBF；sQueezeBF；罕见… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PBLib（公共图书馆） 15篇文献引用(2007–2023) 软件作者： 托拜厄斯·菲利普；彼得·斯坦克 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
OPBDP公司 14篇文献引用(1993–2021) 软件作者： 彼得·巴思 相关软件： MIPLIB公司；糠；Pueblo… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RPOLY公司 10篇文献引用(2007–2016) 软件作者： 阿纳州格拉萨；佐奥·西尔瓦侯爵；林奇，因斯；阿林多·L·奥利维拉。 相关软件： MiniSat；MaxHS；MiniMaxSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-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）…
ff（关闭） 1份文件引用(2019) 软件作者： Daniel Adler、Christian Gläser、Oleg Nenadic、Jens Oehlschlägel、Walter Zucchini 相关软件： R；晶格；下雪… 主要字段： 统计学（62-XX）
羽毛 2份文件引用(2019–2022) 软件作者： Marcelo S.Reis、Gustavo Estrela、Carlos Eduardo Ferreira、Junior Barrera 相关软件： 威卡；ElemStatLearn；吗啡… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
打包 4份文件引用（2012年至2020年） 软件作者： Janota，M.、Lync，I.、Manquinho，V.、Marques-Silva，J。 相关软件： Open-WBO；QMaxSAT；SPOT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
社交网络 2份文件引用(2015–2021) 软件作者： Alireza S.Mahani、Asad Hasan、Marshall Jiang、Mansour T.A.Sharabiani 相关软件： 斯坦；JAGS；MfU采样器… 主要字段： 统计学（62-XX）
GraMoFoNe公司 3份文件引用(2013–2020) 软件作者： NoneBlin G、Sikora F、Vialette S 相关软件： QPath；GO-TermFinder；SIMBio… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PAL倾斜 3份文件引用(2017–2022) 软件作者： 西比尔·赫斯；Katharina Morik；尼科·皮亚特科夫斯基 相关软件： 克里姆；StreamKrimp；MDL4BMF… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
Bqplib公司 2份文件引用(2019–2020) 软件作者： Rupaj Kumar Nayak；尼玛莉亚·库马尔·莫汉蒂 相关软件： CVX；SDPT3；鲁迪… 主要字段： 运筹学、数学规划（90-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
电路 1份文件引用(2019) 软件作者： NIST；雷内·佩拉尔塔；路易斯·布兰德；ÇağdaşÇalık；莫里斯·德沃金；Meltem Sönmez Turan公司 相关软件： github 主要字段： 阶、格、有序代数结构（06-XX）；信息与通信理论，电路（94-XX）
npSolver（npSolver） 1份文件引用(2015) 软件作者： Manthey，N.，Steinke，P。 相关软件： MiniSat；BoolVar/PB；PBLib… 主要字段： 计算机科学（68-XX）
QMaxSATpb 1份文件引用(2022) 软件作者： Dieter Vandesande；德沃尔夫，沃尔夫；巴特·博加特 相关软件： RC2；WASP；MiniSat… 主要字段： 计算机科学（68-XX）