z3（零3） 761份文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
选臂器 38篇文献引用（2010年至2022年） 软件作者： Robert Brummayer；阿明·比尔 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
优化数学卫星 14篇文献引用(2016–2023) 软件作者： 塞巴斯蒂亚尼，R.，特伦丁，P。 相关软件： vZ；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
通过 9份文件引用(2015–2024) 软件作者： Li，G.，Ghosh，I。 相关软件： S3；Z3-str；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BtorMC公司 6篇文献引用(2020–2022) 软件作者： Niemetz，A。；普雷纳，M。；Wolf，C.公司。；Biere，A。；节流阀，H。；G·威森巴赫 相关软件： Boolector；爱格；Yosys… 主要字段： 计算机科学（68-XX）
索诺拉 引用于3份文件(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
UppSAT公司 引用于3份文件(2018–2021) 软件作者： Zeljić，Aleksandar；彼得·贝克曼；Christoph M.Wintersteiger。；菲利普·吕默 相关软件： 数学SAT5；Boolector；z3… 主要字段： 计算机科学（68-XX）
斯马卡 1份文件引用(2017) 软件作者： 阿明·比尔（Armin Biere）；Jens Knoop；劳拉·科夫亚茨（Laura Kov'acs）；雅各布兹维奇梅尔 相关软件： r-TuBound；STP；OTAWA… 主要字段： 计算机科学（68-XX）
STABLE（稳定） 2份文件引用(2014–2018) 软件作者： Pavlenko，E。；韦德勒，M。；斯托菲尔，D。；Kunz，W。；等。 相关软件： 单一；宠物老板；ABC… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
商业 1份文件引用(2020) 软件作者： Maillet Nicolas、Collet Guillaume、Vanier Thomas、Lavenier Dominique、Pierre Peterlongo 相关软件： BWA；比较；PBSIM… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
懒惰v2int 1份文件引用(2021) 软件作者： Zohar，Y.，Irfan，A.，Mann，M.，Nötzli，A.，Reynolds，A.，Barrett，C。 相关软件： PySAT；CVC4；SMT套件… 主要字段： 计算机科学（68-XX）
验证2SMV 在0个文档中引用 软件作者： Irfan，A.，Cimatti，A.，Griggio，A.，Roveri，M.，Sebastiani，R。 相关软件： 谷歌测试；尤瑟斯；z3… 主要字段： –