普韦布洛 引用于33份文件(1998–2021) 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学编程（90-XX）…
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
SymChaff公司 8份文件引用(2007–2022) 软件作者： 阿什什·萨巴沃尔 相关软件： MiniSat；极乐；nauty… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
每立方米 7份文件引用(2017–2022) 软件作者： 卡洛斯·安索特吉；乔尔·加布 相关软件： 周六4j；QMaxSAT；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…