伯克明州 149份文件引用(2002–2022) 软件作者: 尤金·戈德伯格(Eugene Goldberg);雅科夫·诺维科夫 相关软件: 糠;MiniSat;SATO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
勒图尔 40篇文献引用(1988–2022) 软件作者: 米努克斯,M。 相关软件: HgMUS;数据日志;JBool… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
LoTREC公司 29篇文献引用(2001–2023) 软件作者: 奥利维尔·盖斯克特(Olivier Gasquet);安德烈亚斯·赫尔齐格;多米尼克·朗金;穆罕默德·萨哈德 相关软件: PVS;SPASS;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
阿司匹林 12份文件引用(2012–2022) 软件作者: 胡斯,霍尔格;罗兰·卡明斯基(Roland Kaminski);马里乌斯·林道尔;托尔斯滕·绍布 相关软件: 萨齐拉;阳光;SMAC… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
SAT时CUD 6篇文献引用(2016–2021) 软件作者: A.Dal Pal'u、A.Dovier、A.Formisano、E.Pontelli 相关软件: ManySAT;玲玲;弯曲… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
H-先导 6篇文献引用(2009–2021) 软件作者: Carsten Ihlemann,Viorica Sofrone-Stokkermans公司 相关软件: z3;REDLOG;草蜢… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
fzn2毫米 4份文件引用(2012–2017) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;通用电气;SCIP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
索诺拉 3份文件引用(2014–2018) 软件作者: Lapschies,F.、Peleska,J.、Gorbachuk,E.、Mangels 相关软件: ASTREE公司;数学SAT5;HOL灯… 主要字段: 计算机科学(68-XX)
BanditFuzz乐队 1份文件引用(2022) 软件作者: 斯科特,J。;Sudula,T。;Rehman,H。;莫拉·F。;加内什,V。;Huisman,M。;帕斯勒诺,C。;詹,N。 相关软件: 依兰CoP;VAMPIRE公司;阿凡达… 主要字段: 计算机科学(68-XX)
波乐萨特 1份文件引用(2017) 软件作者: 李建文;蒲、葛光;张丽君;姚银波;Vardi,Moshe Y。;何继峰 相关软件: NuSMV;阿尔塔;利维坦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)