MedleySolver公司 3份文件引用(2021–2022) 软件作者： 尼基·皮帕尔；费德里科·莫拉；伊丽莎白·波尔格林（Elizabeth Polgreen）；Sanjit A.Seshia。 相关软件： 马赫SMT；萨齐拉；z3… 主要字段： 计算机科学（68-XX）
QAGen公司 2份文件引用(2014–2016) 软件作者： C.Binnig、D.Kossmann、E.Lo、M.T.Özsu 相关软件： 萨齐拉；PicoSAT；小脚… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）