糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（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） 相关软件： 格林戈；克林戈；WASP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；麦凯恩，诺曼；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Quaffle餐厅 64篇文献引用(2003–2023) 软件作者： L.Zhang；S.Malik；普林斯顿大学SAT研究小组；Yinlei余 相关软件： 糠；DepQBF；QUBOS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
UnitWalk公司 引用于33份文件（2002年-2023年） 软件作者： 爱德华·赫施（Edward A.Hirsch）。；阿里斯特·科耶夫尼科夫 相关软件： 糠；SATO；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
普韦布洛 引用于33份文件(1998–2021) 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
PySAT公司 27篇文献引用(2018–2023) 软件作者： 阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 相关软件： MiniSat；葡萄糖；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
CCLS公司 26篇文献引用(2015–2023) 软件作者： 罗，C。；蔡，S。；Wu，W。；杰，Z。；苏，K。 相关软件： MaxHS；周六4j；QMaxSAT… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
库布斯 23篇文献引用(2002–2021) 软件作者： 阿卜杜勒瓦赫卜·阿亚里；戴维·巴恩斯 相关软件： 鹌鹑；semprop；部门QBF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PrecoSAT公司 22篇文献引用(2010–2022) 软件作者： 比尔，A 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡伦·萨卡拉。 相关软件： MiniSat；MUSer2；HMQV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
萨滕斯坦 20篇文献引用(2009–2023) 软件作者： KhudaBukhsh，Ashiqur R。；徐林；霍尔格·胡斯。；凯文·莱顿·布朗 相关软件： 帕拉米尔斯；irace；SMAC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-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）…
QBFLIB公司 17篇文献引用(2004–2019) 软件作者： Giunchiglia，E.，Narizzano，M.，Taccella，A。 相关软件： DepQBF；RAReQS；Bloqer… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HordeSat卫星 13份文件引用(2015–2023) 软件作者： 托马斯·巴利奥；彼得·桑德斯；卡斯滕·辛兹 相关软件： ManySAT；弯曲；MiniSat… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PySMT公司 13份文件引用(2017–2022) 软件作者： 马可·加里奥（Marco Gario）、安德烈亚·米凯利（Andrea Micheli） 相关软件： z3；数学SAT5；Yices… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-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）
LMHS公司 12份文件引用(2016–2022) 软件作者： 保罗·赛科（Paul Saikko）；Berg，Jeremias；Järvisalo，马蒂 相关软件： QMaxSAT；周六4j；Open-WBO… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-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）
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SBSAT卫星 10篇文献引用(2004–2023) 软件作者： 佛朗哥，约翰；米查尔·库里尔；约翰·施利普夫（John Schlipf）；杰弗里·沃德；肖恩·韦弗（Sean Weaver）；Michael Dransfield；W.Mark范弗利特 相关软件： 不可抗力；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
扣 9份文件引用(2012–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；穆拉特·奈赫特（Murat Knecht）；托尔斯滕·绍布 相关软件： PDDL；克林戈；ROSoClingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
博西 9份文件引用(2019–2021) 软件作者： 彼得·费蒙维尔（Peter Faymonville）；芬克贝纳（Bernd Finkbeiner）；Leander Tentrup公司 相关软件： 条纹；SPOT；相思树+… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 糠；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
粉碎 9份文件引用(2009–2022) 软件作者： 阿洛尔，F.A.，马尔科夫，I.L.，萨卡拉，K.A。 相关软件： MiniSat；鹦鹉螺；DRAT-饰件… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CCAnr公司 7份文件引用(2015–2023) 软件作者： 蔡少伟；罗川；苏凯乐 相关软件： 玲玲；CCASat公司；YalSAT… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
ESBMC公司 4份文件引用(2014–2020) 软件作者： 南安普顿大学、斯特伦博斯大学、亚马逊联邦大学；卢卡斯·科尔代罗（Lucas Cordeiro）；杰里米·莫尔斯（Jeremy Morse）；丹尼斯·尼科尔；伯恩德·菲舍尔 相关软件： CBMC；LLBMC；爆炸… 主要字段： 计算机科学（68-XX）
SymChaff公司 8份文件引用(2007–2022) 软件作者： 阿什什·萨巴沃尔 相关软件： MiniSat；极乐；nauty… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
bv2epr 7份文件引用(2013–2018) 软件作者： 科瓦什奈，格格利；安德烈亚斯·弗里奇（Andreas Fröhlich）；阿明·比尔 相关软件： STP；z3；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
H-PILoT公司 6篇文献引用（2009年至2021年） 软件作者： Carsten Ihlemann，Viorica Sofrone-Stokkermans公司 相关软件： z3；REDLOG；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LinAIG公司 7份文件引用(2011–2022) 软件作者： 沃纳·达姆；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；弗洛里安·皮戈什（Florian Pigorsch）；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 相关软件： z3；CUDD；SpaceEx… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
焊接工艺规范3 7份文件引用(2017–2022) 软件作者： 卡洛斯·安索特吉；乔尔·加布 相关软件： 周六4j；QMaxSAT；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BBMCW公司 4份文件引用(2017–2020) 软件作者： 巴勃罗·桑·塞贡多；Jorge Artieda；Mikhail Batsyn；帕诺斯·帕达洛斯（Panos M.Pardalos）。 相关软件： MaxCliqueDyn；DIMACS；BBMCSP… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CAMA公司 4份文件引用(2008–2016) 软件作者： 刘聪；安德烈亚斯·库尔曼（Andreas Kuehlmann）；马修·莫斯克维奇 相关软件： 微量锌；米斯特拉尔；iZplus… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-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）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
国际卫星组织 3份文件引用(2011–2017) 软件作者： Ezequiel Orbe、Carlos Areces、Gabriel Infante-López 相关软件： DPvis；ISAT-CK7；坎特拉… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马赫SMT 4份文件引用(2021–2022) 软件作者： 约瑟夫·斯科特（Joseph Scott）；艾娜·尼梅茨；马西亚斯·普雷纳；赛义德·内贾蒂；维杰·加内什 相关软件： MedleySolver；萨齐拉；z3… 主要字段： 计算机科学（68-XX）
NLocalSAT（非本地卫星） 3份文件引用(2021–2023) 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件： CCAnr；YalSAT；玲玲… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿尔塔 3份文件引用(2016–2020) 软件作者： 李建文；姚银波；Pu、Geguang；张丽君；何继峰 相关软件： 利维坦；TRP++；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CoSA公司 2份文件引用(2020–2022) 软件作者： Mattarei，C.、Mann，M.、Barrett，C.等人。 相关软件： 尤瑟斯；爱格；BtorMC… 主要字段： 计算机科学（68-XX）
法国铁路局 3份文件引用(2021–2022) 软件作者： Baek，Seulkee；马里奥·卡内罗；Heule，Marijn J.H。 相关软件： MaxPre；RC2；cake_lpr… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MaxPre公司 2份文件引用(2021–2022) 软件作者： Korhonen，Tuukka；Berg，Jeremias；保罗·赛科（Paul Saikko）；Järvisalo，马蒂 相关软件： 联邦铁路局；RC2；MiniSat… 主要字段： 计算机科学（68-XX）
MedleySolver公司 3份文件引用(2021–2022) 软件作者： 尼基尔·皮姆帕尔切尔（Nikhil Pimpalkhare）；费德里科·莫拉；伊丽莎白·波尔格林（Elizabeth Polgreen）；Sanjit A.Seshia。 相关软件： 马赫SMT；z3；SATZILA… 主要字段： 计算机科学（68-XX）
MNiBLoS（移动互联网操作系统） 3份文件引用(2016–2023) 软件作者： 阿曼达·维达尔 相关软件： Fuzzydl；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QuteSAT公司 2份文件引用(2009–2017) 软件作者： Wu，C.A.、Lin，T.H.、Lee，C.C.、Huang，C.Y。 相关软件： 糠；斯基佐；Quantor… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SATGraf公司 3份文件引用(2015–2016) 软件作者： 扎克·纽瑟姆；威廉·林赛（William Lindsay）；维杰·加内什；梁家辉；塞巴斯蒂安·费奇迈斯特；Czarnecki、Krzysztof 相关软件： MiniSat；DPvis；上升… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
索诺拉 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
TSAT公司++ 3份文件引用(2005–2008) 软件作者： 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·伊迪尼；马可·马拉提亚 相关软件： CVC；SMT-LIB；箔条… 主要字段： 计算机科学（68-XX）
XSat公司 2份文件引用(2018–2022) 软件作者： —— 相关软件： 数学SAT5；dReal；z3… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
BALM-II型 2份文件引用(2015–2020) 软件作者： 卡斯蒂蒂内蒂，G.，皮科洛，M.，维拉，T。 相关软件： 多发性硬化 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
林布尔 2份文件引用(2013–2018) 软件作者： —— 相关软件： z3；SMT-LIB；CoReS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）
光学卫星 2份文件引用(2006–2013) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马可·马拉提亚 相关软件： MiniSat；鸦片；MSUnCore… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PyDGGA公司 2份文件引用(2021–2023) 软件作者： 卡洛斯·安索特吉；Josep Pon；梅诺夫·塞尔曼；凯文·蒂尔尼 相关软件： 贝叶斯优化；POMO；NeuroLKH… 主要字段： 计算机科学（68-XX）
TerpreT公司 在0个文档中引用 软件作者： 亚历山大·冈特（Alexander L.Gaunt）、马克·布洛克施密特（Marc Brockschmidt 相关软件： Scikit；Clojush；按下… 主要字段： ——
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： 费利克斯·温特勒（Felix Winterer）、卡斯滕·谢布勒（Karsten Scheibler）、利奥诺·温特勒、马蒂亚斯·绍尔（Matthias Sauer） 相关软件： —— 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
JavaSMT软件 1份文件引用(2016) 软件作者： 埃戈尔·乔治·卡彭科夫（Egor George Karpenkov）、卡尔海因斯·弗里德伯格（Karlheinz Friedberger）、德克·拜尔（Dirk Beyer） 相关软件： FOCI；姆约利尼尔；PAGAI… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
波乐萨特 1份文件引用(2017) 软件作者： 李建文；Pu、Geguang；张立军；姚银波；Vardi，Moshe Y。；何继峰 相关软件： NuSMV；阿尔塔；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QMaxSATpb 1份文件引用(2022) 软件作者： Dieter Vandesande；德沃尔夫，沃尔夫；巴特·博加特 相关软件： RC2；WASP；MiniSat… 主要字段： 计算机科学（68-XX）
TBUDDY（待定） 1份文件引用(2023) 软件作者： Randal E.布莱恩特。 相关软件： Paracooba；基萨特；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）