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 相关软件： z3；SMT-LIB；伊塞斯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…