可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
卡特尔 3份文件引用(2018–2023) 软件作者： A.Giantsios、N.Papaspyrou、K.Sagonas 相关软件： 切割机；12月6日；厄利伯里… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
隐模糊 1份文件引用(2023) 软件作者： 金和勇；安，多伊恩；权、跆拳道 相关软件： github；内乌兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LCT公司 1份文件引用(2016) 软件作者： Kähkönen，K。；Launiainen，T.等人。；萨里基维，O。；J.Kauttio。；Heljanko，K。；尼美拉，我 相关软件： 薄片；LLVM；STP… 主要字段： 计算机科学（68-XX）