超小卫星 587份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
糠 559份文件引用（2001年-2023年） 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： 迷你卫星；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PicoSAT卫星 86篇文献引用(2008–2023) 软件作者： 阿明·比尔 相关软件： 迷你卫星；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
弯曲 86篇文献引用(2010–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；Treengeling；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
围攻 34份文件引用(2005–2021) 软件作者： – 相关软件： 糠；伯克敏；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
上升 引用于3份文件(2016–2019) 软件作者： Kahlert，L。；Krüger，F。；Manthey，N。；A.斯蒂芬。 相关软件： Reluplex；RecurJac；Open-WBO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）