汉普 21篇文献引用(2012–2023) 软件作者： Ganesh，V.、Kieżun，A.、Artzi，S.、Guo，P.J.、Hooimeijer，P.、Ernst，M 相关软件： 陌生人；诺恩；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
诺恩 17篇文献引用（2017年至2024年） 软件作者： Abdulla，P.A.，Atig，M.F.，Chen，Y.-F.，Holík，L.，Rezine，A.，Rümmer，P.，Stenman，J。 相关软件： Z3str3；CVC4；陌生人… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）