SMT-RAT型 25篇文献引用(2013–2024) 软件作者： Corzilius，F.、Kremer，G.、Junges，S.、Schupp，S.和Al brahám，E。 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
raSAT系统 11份文件引用(2016–2023) 软件作者： T.V.Khanh，M.小川。 相关软件： SMT-RAT；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
XSat公司 2份文件引用(2018–2022) 软件作者： – 相关软件： z3；数学SAT5；dReal… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）