赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
汉普 20篇文献引用(2012–2023) 软件作者： Ganesh，V.、Kieżun，A.、Artzi，S.、Guo，P.J.、Hooimeijer，P.、Ernst，M 相关软件： 陌生人；z3；S3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
诺恩 16篇文献引用(2017–2024) 软件作者： 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）
通过 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）
StrSolve解决方案 6篇文献引用(2014–2023) 软件作者： Hooimeijer，P.，Weimer，W。 相关软件： 通过；Z3str3；诺恩… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CertiStr证书 引用于3份文件(2022–2023) 软件作者： Kan Shuanglong、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： SMT-LIB；Isabelle/HOL；z3… 主要字段： 计算机科学（68-XX）
JST公司 引用于3份文件(2015–2017) 软件作者： Ghosh I、Shafiei N、Li G、Chiang W 相关软件： S3；Z3-str；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）