欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；炸薯条；SWI-预测… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
查找器 39篇文献引用(1993–2020) 软件作者： 约翰·斯莱尼 相关软件： 梅斯4；萨奇莫；TPTP… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
BEE公司 8份文件引用(2012–2022) 软件作者： Metodi，Amit；迈克尔·科迪什 相关软件： 鹦鹉螺；踪迹；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CaSPER公司 6篇文献引用(2007–2013) 软件作者： Correia，M.、Barahona，P.、Azevedo，F.、。 相关软件： 小精灵；通用电气；CSPLib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
EZERO公司 3份文件引用(2006–2018) 软件作者： 吉兰，C.J。；舒欣斯基，A。；斯彭斯，我。 相关软件： ZEAL公司；分歧；算法699 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）；信息与通信理论，电路（94-XX）
悖论 3份文件引用(2009–2018) 软件作者： 科恩·克莱森；尼古拉斯·索伦森 相关软件： E定理证明器；STP；GitHub… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
沙漠FD 在0个文档中引用 软件作者： 伊姆斯，布兰登·K。；妮玛（Neema）、桑迪普·K·。；罗希特·萨拉斯瓦特 相关软件： 禁忌搜索；SICStus公司；FaMa… 主要字段： 计算机科学（68-XX）
菲加罗 引用于2份文件(1999–2001) 软件作者： 马丁·亨茨（Martin Henz）；缪勒，托拜厄斯；布恩，Ng Ka 相关软件： 奥兹；炸薯条；STL… 主要字段： 计算机科学（68-XX）