加州大学洛杉矶分校 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
UppSAT公司 3份文件引用(2018–2021) 软件作者： Zeljić，Aleksandar；彼得·贝克曼；Christoph M.Wintersteiger。；菲利普·吕默 相关软件： 数学SAT5；Boolector；z3… 主要字段： 计算机科学（68-XX）