卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
通过 9份文件引用(2015–2024) 软件作者： Li，G.，Ghosh，I。 相关软件： S3；Z3-str；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
海狸 9份文件引用（2010年至2021年） 软件作者： 桑吉特·塞希亚 相关软件： Yices；z3；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
声纳的 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
URBiVA公司 3份文件引用(2010–2014) 软件作者： 菲利普·马里奇；贾尼契奇，普雷德拉格 相关软件： 萨齐拉；MiniSat；糖… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Wombit公司 2份文件引用(2019–2020) 软件作者： 王文喜；哈拉尔德·Söndergaard；彼得·斯图基（Peter J.Stuckey）。 相关软件： CVC4；Why3；MiniSat… 主要字段： 计算机科学（68-XX）