萨特齐拉 95篇文献引用(2008–2023) 软件作者： 徐，L。；Hutter，F。；胡斯，H.H。；莱顿·布朗，K。 相关软件： 帕拉米尔斯；MiniSat；SMAC… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
ManySAT公司 40篇文献引用(2005–2023) 软件作者： 尤塞夫·哈马迪；赛义德·贾布尔；拉赫达尔·赛斯 相关软件： MiniSat；弯曲；箔条… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）；运筹学，数学规划（90-XX）…
YalSAT卫星 35篇文献引用(2017–2023) 软件作者： 阿明·比尔 相关软件： 玲玲；弯曲；Treengeling… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
vZ（虚拟Z） 21篇文献引用(2015–2023) 软件作者： N.Björner、A.-D.Phan、L.Fleckenstein 相关软件： z3；OptiMathSAT；SYMBA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HordeSat卫星 13份文件引用(2015–2023) 软件作者： 托马斯·巴尔约；彼得·桑德斯；卡斯滕·辛兹 相关软件： ManySAT；弯曲；MiniSat… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基（Roland Kaminski）；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
变形杆菌属 10篇文献引用（2015年至2022年） 软件作者： 巴里·赫尔利；Kotthoff，Lars；尤里·马利茨基；巴里·奥沙利文 相关软件： 微量锌；萨齐拉；桑尼… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
COSMO公司 10篇文献引用(2020–2023) 软件作者： Michael Garstka、Mark Cannon、Paul Goulart 相关软件： OSQP；SCS；Mosek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
QPALM公司 8份文件引用(2020–2023) 软件作者： Ben Hermans、Andreas Themelis、Panagiotis Patrinos 相关软件： OSQP；qpOASES；OOQP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
sunny-cp公司 8份文件引用(2015–2023) 软件作者： 罗伯特·阿马迪尼、毛里齐奥·加布里埃利、雅各布·毛罗 相关软件： 萨齐拉；微量锌；桑尼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
糖浆 4份文件引用(2019–2020) 软件作者： Audemard，Gilles公司；Jean-Marie Lagniez；尼古拉斯·斯泽潘斯基（Nicolas Szczepanski）；塞巴斯蒂安·塔巴里 相关软件： 弯曲；MiniSat；葡萄糖… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
3巴 2份文件引用（2018年） 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
SArTagnan公司 2份文件引用(2012–2014) 软件作者： Kottler，S.、Kaufmann，M。 相关软件： 糠；ManySAT；MiniSat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Wombit公司 2份文件引用(2019–2020) 软件作者： 王文喜；哈拉尔德·Söndergaard；彼得·斯图基（Peter J.Stuckey）。 相关软件： CVC4；Why3；MiniSat… 主要字段： 计算机科学（68-XX）
拉德尔 1份文件引用(2022) 软件作者： 本·赫尔曼斯；安德烈亚斯·塞米利斯；Patrinos、Panagiotis 相关软件： NC-OPT；OOQP；BPMPD… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）
npSolver（npSolver） 1份文件引用(2015) 软件作者： Manthey，N.，Steinke，P。 相关软件： MiniSat；BoolVar/PB；PBLib… 主要字段： 计算机科学（68-XX）
波乐萨特 1份文件引用(2017) 软件作者： 李建文；蒲、葛光；张丽君；姚银波；Vardi，Moshe Y。；何继峰 相关软件： NuSMV；阿尔塔；利维坦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
限制和固定 1份文件引用(2023) 软件作者： Joncour，C。；Kritter，J。；米歇尔，S。；谢普勒，X。 相关软件： VRP解决程序；BPPLIB；流行音乐… 主要字段： 运筹学、数学规划（90-XX）