斯莫德尔斯 引用于231份文件(1999–2022) 软件作者： Niemelä，伊尔卡；西蒙斯，P；托米·西尔贾宁 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CCalc公司 77份文件引用(2003–2023) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；Lee，Joohyung；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 相关软件： 平滑；考拉；高尔夫… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
太阳能 19份文件引用(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ezcsp公司 13份文件引用(2009–2022) 软件作者： 马尔切洛·巴尔杜奇尼（Marcello Balduccini）；尤利亚·利勒 相关软件： 克林孔；克林戈；ASP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
KLMLean公司 6篇文献引用(2007–2023) 软件作者： 劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨 相关软件： 康德莱恩；NESCOND；CSLLean… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
芦笋 引用于3份文件（2005年至2012年） 软件作者： 基督教愤怒；托尔斯滕·绍布（Torsten Schaub）；米罗斯瓦·特鲁兹琴斯基 相关软件： 亚萨特；TPTP；Runsolver… 主要字段： 计算机科学（68-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
InfOCF-Web 4份文件引用(2022) 软件作者： 史蒂文·库奇（Steven Kutsch）、克里斯托夫·拜尔（Christoph Beierle） 相关软件： – 主要字段： 计算机科学（68-XX）