Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
布吉 126篇文献引用(2007–2023) 软件作者： K.鲁斯坦·莱诺 相关软件： z3；Why3；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
数学SAT5 80篇文献引用(2013–2023) 软件作者： 亚历山德罗·西马蒂；阿尔贝托·格里乔；沙夫斯马，巴斯蒂安·乔斯特；罗伯托·塞巴斯蒂亚尼 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达菲；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学SAT 59篇文献引用（2005年-2023年） 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
d真实 50篇文献引用(2013–2023) 软件作者： 高思春；孔顺浩；埃德蒙·克拉克（Edmund M.Clarke）。 相关软件： z3；Coq；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
转向器 38篇文献引用(2010–2022) 软件作者： Robert Brummayer；阿明·比尔 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Clingcon公司 39篇文献引用(2009–2022) 软件作者： Martin Gebser；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
验证 35篇文献引用(2011–2023) 软件作者： 托马斯·鲍顿（Thomas Bouton）、迭戈·卡米尼亚·B·德·奥利维拉（Diego Caminha B.de Oliveira）、大卫·德哈贝（David Déharbe）、帕斯卡尔·方丹（Pascal Fontaine 相关软件： z3；CVC4；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；实函数（26-XX）…
SMT互联网 29篇文献引用(2015–2023) 软件作者： Jochen Hoenike、Jürgen Christ、Alexander Nutz 相关软件： z3；数学SAT5；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
d到达 29篇文献引用(2015–2024) 软件作者： S.Kong、S.Gao、W.Chen、E.M.Clarke 相关软件： 流量*；SpaceEx；KeYmaera… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
开放式SMT 26篇文献引用(2010–2018) 软件作者： 罗伯特·布鲁托梅索；埃德加·佩克（Edgar Pek）；娜塔莎·莎莉吉娜；阿里亚克西·齐托维奇 相关软件： z3；数学SAT5；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SMT大鼠 25篇文献引用(2013–2024) 软件作者： Corzilius，F.、Kremer，G.、Junges，S.、Schupp，S.和Al brahám，E。 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数拓扑（55-XX）…
常春藤 21篇文献引用（2017年-2023年） 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
vZ（虚拟Z） 21篇文献引用(2015–2023) 软件作者： N.Björner、A.-D.Phan、L.Fleckenstein 相关软件： z3；OptiMathSAT；SYMBA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Z3str3号机组 引用于19份文件(2018–2023) 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： z3；CVC4；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
有限责任公司 13份文件引用(2012–2022) 软件作者： 法尔克，斯蒂芬；弗洛里安·默兹（Florian Merz）；卡斯滕·辛兹 相关软件： 不明飞行物；CPA检查员；CBMC… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
诺恩 15篇文献引用（2017年-2023年） 软件作者： Abdulla，P.A.，Atig，M.F.，Chen，Y.-F.，Holík，L.，Rezine，A.，Rümmer，P.，Stenman，J。 相关软件： Z3str3；CVC4；陌生人… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
PySMT公司 13份文件引用(2017–2022) 软件作者： 马可·加里奥（Marco Gario）、安德烈亚·米凯利（Andrea Micheli） 相关软件： z3；数学SAT5；Yices… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
侵蚀 在14份文件中引用(2017–2024) 软件作者： Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A。 相关软件： CLUE；z3；NFsim… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
SMTCoq公司 在14份文件中引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
雷克斯 在11份文件中引用(2011–2023) 软件作者： 韦恩斯，M。；De Halleux，P。；蒂尔曼，N。 相关软件： MONA；z3；DART… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
raSAT系统 在11份文件中引用(2016–2023) 软件作者： Khanh，T.V.、Ogawa，M。 相关软件： SMT-RAT；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
海狸 9份文件引用(2010–2021) 软件作者： 桑吉特·塞希亚 相关软件： Yices；z3；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
iProver-Eq型 10篇文献引用（2010年-2023年） 软件作者： Korovin、Konstantin；克里斯托夫·斯特克塞尔 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Barcelogic工具 9份文件引用(2005–2009) 软件作者： 阿尔伯特·奥利弗拉斯；罗伯特·尼文胡斯 相关软件： SMT-LIB；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
博西 9份文件引用(2019–2021) 软件作者： 彼得·费蒙维尔（Peter Faymonville）；芬克贝纳（Bernd Finkbeiner）；Leander Tentrup公司 相关软件： 条纹；SPOT；相思树+… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CVC4SY公司 9份文件引用(2019–2023) 软件作者： 安德烈斯·诺兹利；安德鲁·雷诺兹（Andrew Reynolds）；巴博萨、哈尼尔；艾娜·尼梅茨；马蒂亚斯·普雷纳（Mathias Preiner）；克拉克·巴雷特；塞萨尔·蒂内利 相关软件： CVC4；z3；MiniSat… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；变异微积分和最优控制；优化（49-XX）；计算机科学（68-XX）…
终极Automizer 8份文件引用(2015–2022) 软件作者： 马提亚斯·海兹曼；耶尔根基督；丹尼尔·迪特施（Daniel Dietsch）；埃夫伦，埃尔米斯；Jochen Hoenicke；马库斯·林登曼；亚历山大·纳茨（Alexander Nutz）；席林（Christian Schilling）；安德烈亚斯·波德尔斯基 相关软件： SMT互联网；CBMC；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Z3str2型 8份文件引用（2017年-2023年） 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
合金* 7份文件引用（2017年-2023年） 软件作者： Milicevic，A.、Near，J.P.、Kang，E.、Jackson，D。 相关软件： z3；波尔多；GitHub… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
深度编码器 8份文件引用(2021–2023) 软件作者： Balog，Matej；亚历山大·冈特。；马克·布罗克施米特（Marc Brockschmidt）；塞巴斯蒂安·诺沃津；丹尼尔·塔洛 相关软件： 梅塔戈里；Tensor2传感器；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ESBMC公司 4份文件引用(2014–2020) 软件作者： 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学；卢卡斯·科尔代罗（Lucas Cordeiro）；杰里米·莫尔斯（Jeremy Morse）；丹尼斯·尼科尔；伯恩德·菲舍尔 相关软件： CBMC；LLBMC；爆炸… 主要字段： 计算机科学（68-XX）
NLambda公司 8份文件引用(2016–2022) 软件作者： 巴托克·克林；MichałSzynwelski 相关软件： 路易斯；z3；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CLSAT公司 7份文件引用(2013–2022) 软件作者： Duckki Oe；安德鲁·雷诺兹；亚伦·斯塔姆 相关软件： z3；SMT-LIB；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
打开SMT2 7份文件引用(2016–2023) 软件作者： Hyvärinen，Antti E.J。；马泰奥·马雷斯科蒂；Alt，Leonardo；娜塔莎·莎莉吉娜 相关软件： 佩里普洛；eVolCheck；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
玫瑰花 7份文件引用(2016–2023) 软件作者： Torlak，E.，Bodik，R。 相关软件： github；z3；FlashMeta… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）…
StringFuzz（字符串模糊） 7份文件引用(2019–2023) 软件作者： 布洛茨基，D。；莫拉·F。；M.Berzish。；郑，Y。；卡比尔，I。；加内什，V。 相关软件： Z3str3；CVC4；z3… 主要字段： 计算机科学（68-XX）
英国皇家海军陆战队 6篇文献引用(2020–2022) 软件作者： Niemetz，A。；普雷纳，M。；沃尔夫，C。；Biere，A。；节流阀，H。；Weissenbacher，G公司 相关软件： 选臂器；艾格；Yosys… 主要字段： 计算机科学（68-XX）
焦点测试 6篇文献引用（2011年至2018年） 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；Coq；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
洞穴堆积 5份文件引用(2010–2022) 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·蒂尔曼；乔纳森·德·哈勒克斯 相关软件： z3；Z3str3；陌生人… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
工作包2 4份文件引用(2016–2017) 软件作者： Carlos Ansótegui、Maria Luisa Bonet、Joel Gabás、Jordi Levy 相关软件： 周六4j；MaxHS；MiniMaxSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
iSAT公司 4份文件引用(2015–2017) 软件作者： K.Scheibler、S.Kupferschmid、B.Becker 相关软件： SMT-RAT；数学SAT5；CVC4… 主要字段： 计算机科学（68-XX）
马赫SMT 4份文件引用(2021–2022) 软件作者： 约瑟夫·斯科特（Joseph Scott）；艾娜·尼梅茨；马蒂亚斯·普雷纳（Mathias Preiner）；赛义德·内贾蒂；维杰·加内什 相关软件： MedleySolver；萨齐拉；z3… 主要字段： 计算机科学（68-XX）
努恰库 4份文件引用(2016–2022) 软件作者： 安德鲁·雷诺兹（Andrew Reynolds）；Jasmin Christian布兰切特；西蒙·克鲁恩斯（Simon Cruanes）；塞萨尔·蒂内利 相关软件： CVC4；z3；Nitpick… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
活套 3份文件引用（2016年至2018年） 软件作者： Burnim J、Jalbert N、Stergiou C、Sen K 相关软件： z3；SLAM；蜗牛… 主要字段： 计算机科学（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）
索诺拉 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
涡轮-SMT 3份文件引用(2016) 软件作者： Papalexakis，Evangelos E。；汤姆·米切尔（Tom M.Mitchell）。；尼古拉斯·D·西迪罗普洛斯。；克里斯托斯·法洛索斯；塔鲁克达尔，帕塔·普拉蒂姆；布莱恩·墨菲 相关软件： GigaTensor；张量工具箱；PARAFAC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；计算机科学（68-XX）
向上pSAT 3份文件引用(2018–2021) 软件作者： 亚历山大·泽尔吉奇；彼得·贝克曼；克里斯托夫·M·温特施泰格。；菲利普·吕默 相关软件： 数学SAT5；选臂器；z3… 主要字段： 计算机科学（68-XX）
vlogsl语言 3份文件引用(2011–2013) 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（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）
证书 2份文件引用(2022) 软件作者： Kan Shuanglong、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： CVC4；CLSAT；MiniSat… 主要字段： 计算机科学（68-XX）
EFSMT公司 2份文件引用（2016年至2019年） 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）
Smt-Switch开关 1份文件引用(2021) 软件作者： 马凯·曼；阿玛莉·威尔逊（Amalee Wilson）；尤尼·佐哈尔；林赛·特恩茨；艾哈迈德·艾尔凡；克里斯托弗·布朗（Kristopher Brown）；卡勒布·多诺维克；Allison Guman；蒂内利、塞萨尔；克拉克·巴雷特 相关软件： 谷歌测试；z3；PySMT… 主要字段： 计算机科学（68-XX）
表面贴装技术 2份文件引用(2018–2020) 软件作者： 马泰奥·马雷斯科蒂；Hyvärinen，Antti E.J。；娜塔莎·莎莉吉娜 相关软件： OpenSMT2；TreeAutomizer；数学SAT5… 主要字段： 计算机科学（68-XX）
STABLE（稳定） 2份文件引用(2014–2018) 软件作者： 帕夫连科，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等。 相关软件： 单一；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Wombit公司 2份文件引用(2019–2020) 软件作者： 王文喜；哈拉尔德·Söndergaard；彼得·斯图基（Peter J.Stuckey）。 相关软件： CVC4；Why3；MiniSat… 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
CGM工具 1份文件引用(2020) 软件作者： Mai Chi Nguyen、Roberto Sebastiani、Paolo Giorgini、John Mylopoulos 相关软件： 扁平锌；MiniSat；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
JavaSMT软件 1份文件引用(2016) 软件作者： Egor George Karpenkov、Karlheinz Friedberger、Dirk Beyer 相关软件： 病灶；Mjollnir公司；PAGAI… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
懒惰v2int 1份文件引用(2021) 软件作者： Zohar，Y.，Irfan，A.，Mann，M.，Nötzli，A.，Reynolds，A.，Barrett，C。 相关软件： CVC4；SMT套件；BtorMC… 主要字段： 计算机科学（68-XX）
MATF公司 1份文件引用(2020) 软件作者： M.S.Khan。；M.I.Khan。；苏联马利克。；Khalid，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
皮科索 1份文件引用(2012) 软件作者： Kalinnik，N.、Schubert，T.、Al brahám，E.、Wimmer，R.、Becker，B。 相关软件： MiniSat；SATO；玲玲… 主要字段： 运筹学、数学规划（90-XX）
终极大班 1份文件引用(2018) 软件作者： Greitschus，M.、Dietsch，D.、Heizmann，M.，Nutz，A.、Schätzle，C.、Schilling，C.、Shüssele，F.、Podelski，A。 相关软件： 终极Kojak；石龙子；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）