MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
参数 16篇文献引用(2011–2022) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；PROPhESY公司；风暴… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
裴楚丘 16篇文献引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
液化石油气 12份文件引用(2003–2022) 软件作者： 阿方索·盖列维尼（Alfonso E.Gerevini）、亚历山德罗·萨埃蒂（Alessandro Saetti）、伊万·塞里纳（Ivan Serina）、毛罗·瓦拉蒂（Mauro Vallati） 相关软件： 图形平面图；PDDL；Walksat… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： HOL-OCL；莫德；ATL… 主要字段： 计算机科学（68-XX）
间谍SMAC 4份文件引用(2015–2019) 软件作者： Stefan Falkner、Marius Lindauer、Frank Hutter 相关软件： SMAC；帕拉米尔斯；间谍… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）