OOASP（OOASP） 1份文件引用(2016) 软件作者： 安德烈亚斯·福克纳；Anna Ryabokon；戈特弗里德·施纳（Gottfried Schenner）；克斯特安提恩·什切科提金 相关软件： 格林戈；MiniSat；对夹2… 主要字段： 计算机科学（68-XX）
威尼斯96 1份文件引用(2002) 软件作者： WL Hase、RJ Duchovic、X Hu、A Komornicki 相关软件： 统一的.jl；MLJ；通量… 主要字段： 量子理论（81-XX）
EnclaveDom公司 在0个文档中引用 软件作者： 马塞拉·梅拉拉（Marcela S.Melara）、迈克尔·弗里德曼（Michael J.Freedman）、米克·鲍曼（Mic Bowman） 相关软件： 砂壳；普里夫曼；闭包库… 主要字段： –
SP流量 1份文件引用(2020) 软件作者： Alejandro Molina、Antonio Vergari、Karl Stelzner、Robert Peharz、Pranav Subramani、Nicola Di Mauro、Pascal Poupart、Kristian Kersting 相关软件： 炼金术；DIMACS；Walksat… 主要字段： 计算机科学（68-XX）