Z3str3号机组 19份文件引用（2018年-2023年） 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： z3；CVC4；诺恩… 主要字段： 数学逻辑与基础（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）
Z3-街道 在10份文件中引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
StringFuzz（字符串模糊） 7份文件引用(2019–2023) 软件作者： 布洛茨基，D。；莫拉·F。；M.Berzish。；郑，Y。；卡比尔，I。；加内什，V。 相关软件： Z3str3；CVC4；z3… 主要字段： 计算机科学（68-XX）
证书 3份文件引用(2022–2023) 软件作者： Kan Shuanglong、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： SMT-LIB；Isabelle/HOL；z3… 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；Păsăreanu，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）