CVC4型 192份文件引用(2013–2024) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
cvc3型 80篇文献引用(2006–2023) 软件作者： Clark Barrett、Cesare Tinelli、Chris Conway、Morgan Deters、Alexander Fuchs、Yeting Ge、George Hagen、Mina Jeong、Dejan Jovanovic、Tim King 相关软件： z3；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马赫SMT 4份文件引用(2021–2022) 软件作者： 约瑟夫·斯科特（Joseph Scott）；艾娜·尼梅茨；马蒂亚斯·普雷纳（Mathias Preiner）；赛义德·内贾蒂；维杰·加内什 相关软件： 萨齐拉；MedleySolver；z3… 主要字段： 计算机科学（68-XX）
MedleySolver公司 3份文件引用(2021–2022) 软件作者： 尼基·皮帕尔；费德里科·莫拉；伊丽莎白·波尔格林（Elizabeth Polgreen）；Sanjit A.Seshia。 相关软件： 马赫SMT；萨齐拉；z3… 主要字段： 计算机科学（68-XX）