萨特齐拉 95篇文献引用(2008–2023) 软件作者： 徐，L。；Hutter，F。；胡斯，H.H。；莱顿·布朗，K。 相关软件： 帕拉米尔斯；MiniSat；SMAC… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
对夹2 14篇文献引用(2014–2022) 软件作者： 胡斯，霍尔格；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；SMAC；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
玉米 10篇文献引用(2012–2023) 软件作者： B.Li、S.C.H.Hoi、V.Gopalkrishnan 相关软件： 潘美；OLPS；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
美洲驼 5份文件引用(2015–2019) 软件作者： Lars Kotthoff、Bernd Bischl、Barry Hurley、Talal Rahwan 相关软件： 萨齐拉；变形杆菌；迷你锌… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
阿尔罗斯 引用于3份文件(2017–2022) 软件作者： 穆斯塔法，Mısır；米歇尔·塞巴格 相关软件： 帕拉米尔斯；萨齐拉；GNU并行… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
表面贴装技术 2份文件引用(2018–2020) 软件作者： 马泰奥·马雷斯科蒂；Hyvärinen，安蒂·E·J。；娜塔莎·莎莉吉娜 相关软件： OpenSMT2；TreeAutomizer；数学SAT5… 主要字段： 计算机科学（68-XX）
风险价格投资组合 1份文件引用(2023) 软件作者： Vinicius，Ze；丹尼尔·帕洛马尔（Daniel P.Palomar）。 相关软件： github；QuEST；rmgarch… 主要字段： 运筹学，数学编程（90-XX）