CTIGAR公司 在11份文件中引用(2016–2022) 软件作者： Birgmeier，J.、Bradley，A.R.、Weissenbacher，G。 相关软件： z3；PySMT；数学SAT5… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
海康普 6篇文献引用(2017–2022) 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
表面贴装技术 2份文件引用(2018–2020) 软件作者： 马泰奥·马雷斯科蒂；Hyvärinen，安蒂·E·J。；娜塔莎·莎莉吉娜 相关软件： OpenSMT2；TreeAutomizer；数学SAT5… 主要字段： 计算机科学（68-XX）
可变气门正时（VVT） 1份文件引用(2017) 软件作者： 亨宁·贡瑟；阿尔芬斯·拉阿尔曼（Alfons Laarman）；西蒙·扬奇 相关软件： CTIGAR公司 主要字段： 计算机科学（68-XX）