欧兹 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)