真实性T 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）…
PySMT公司 13份文件引用(2017–2022) 软件作者： 马可·加里奥（Marco Gario）、安德烈亚·米凯利（Andrea Micheli） 相关软件： z3；数学SAT5；Yices… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CVC4SY公司 9份文件引用(2019–2023) 软件作者： 安德烈斯·诺兹利；安德鲁·雷诺兹（Andrew Reynolds）；巴博萨、哈尼尔；艾娜·尼梅茨；马蒂亚斯·普雷纳（Mathias Preiner）；克拉克·巴雷特；塞萨尔·蒂内利 相关软件： CVC4；z3；MiniSat… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学、数学规划（90-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）…
洞穴堆积 5份文件引用（2010年至2022年） 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·蒂尔曼；乔纳森·德·哈勒克斯 相关软件： z3；Z3str3；陌生人… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
诺波尔 1份文件引用（2023年） 软件作者： J.Xuan、M.Martinez、F.DeMarco、M.Clement、S.L.Marcate、T.Durieux、D.Le Berre、M.Monperrus 相关软件： 缺陷4J；ASTOR；先知… 主要字段： 计算机科学（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）
JavaSMT软件 1份文件引用(2016) 软件作者： Egor George Karpenkov、Karlheinz Friedberger、Dirk Beyer 相关软件： 病灶；Mjollnir公司；PAGAI… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
XPOMCP公司 1份文件引用（2023年） 软件作者： 朱利奥，马兹；阿尔贝托·卡斯泰里尼；亚历山德罗·法利内利 相关软件： REBA；AlphaZero；IsolationForest… 主要字段： 计算机科学（68-XX）