MiniMaxSat卫星 39篇文献引用(2008–2023) 软件作者： 费德里科·赫拉斯；哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯 相关软件： 周六4j；MaxHS；QMaxSAT… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
美国公共广播电视公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；迷你卫星；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
普韦布洛 33篇文献引用（1998年至2021年） 软件作者： 侯赛因·谢尼。；卡伦·萨卡拉。 相关软件： 迷你卫星；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
PBLib（公共图书馆） 15篇文献引用(2007–2023) 软件作者： 托拜厄斯·菲利普；彼得·斯坦克 相关软件： 弯曲；迷你卫星；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论和概括（20-XX）；凸和离散几何（52-XX）…
OPBDP公司 14篇文献引用(1993–2021) 软件作者： 彼得·巴思 相关软件： MIPLIB公司；糠；Pueblo… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
焊接工艺规范3 引用于7份文件(2017–2022) 软件作者： 卡洛斯·安索特吉；乔尔·加布 相关软件： 周六4j；QMaxSAT；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OptiLog公司 1份文件引用(2021) 软件作者： 卡洛斯·安索特吉；奥杰达、杰苏斯；安东尼奥·帕切科；Josep Pon；Josep M.Salvia。；爱德华·托雷斯 相关软件： PySAT；迷你卫星；SMAC… 主要字段： 计算机科学（68-XX）