SMT-LIB公司 218篇文献引用(2004–2024) 软件作者: 克拉克·巴雷特;莱昂纳多·德·莫拉;西尔维奥·兰伊斯;阿伦·斯塔姆(Aaron Stump);塞萨尔·蒂内利 相关软件: z3;CVC4;Yices… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
数学SAT5 80篇文献引用(2013–2023) 软件作者: 亚历山德罗·西马蒂;阿尔贝托·格里乔;沙夫斯马,巴斯蒂安·乔斯特;罗伯托·塞巴斯蒂亚尼 相关软件: z3;CVC4;Yices… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
PySMT公司 13份文件引用(2017–2022) 软件作者: 马可·加里奥(Marco Gario)、安德烈亚·米凯利(Andrea Micheli) 相关软件: z3;数学SAT5;Yices… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
raSAT系统 11份文件引用(2016–2023) 软件作者: T.V.Khanh,M.小川。 相关软件: SMT-RAT;z3;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);数值分析(65-XX)…
Barcelogic工具 引用于9份文件(2005–2009) 软件作者: 阿尔伯特·奥利弗拉斯;罗伯特·尼文胡斯 相关软件: SMT-LIB;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
CLSAT公司 7份文件引用(2013–2022) 软件作者: Duckki Oe;安德鲁·雷诺兹;亚伦·斯图普 相关软件: z3;SMT-LIB;伊莎贝尔·霍尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
英国皇家海军陆战队 6篇文献引用(2020–2022) 软件作者: Niemetz,A。;普雷纳,M。;沃尔夫,C。;Biere,A。;节流阀,H。;G·威森巴赫 相关软件: Boolector;爱格;Yosys… 主要字段: 计算机科学(68-XX)
简单 5份文件引用(2010–2020) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;Yices;SMT-LIB… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
SMT至TPTP 5份文件引用(2015–2017) 软件作者: 鲍姆加特纳,P。 相关软件: TPTP;SMT-LIB;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
fzn2毫米 4份文件引用(2012–2017) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;通用电气;SCIP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
马赫SMT 4份文件引用(2021–2022) 软件作者: 约瑟夫·斯科特(Joseph Scott);艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);赛义德·内贾蒂;维杰·加内什 相关软件: MedleySolver;萨齐拉;z3… 主要字段: 计算机科学(68-XX)
索诺拉 3份文件引用(2014–2018) 软件作者: Lapschies,F.、Peleska,J.、Gorbachuk,E.、Mangels 相关软件: ASTREE公司;数学SAT5;HOL灯… 主要字段: 计算机科学(68-XX)
Z34生物 2份文件引用(2016–2023) 软件作者: B.Yordanov、C.Wintersteiger、Y.Hamadi、H.Kugler 相关软件: z3;玫瑰花;Yosys… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)
JavaSMT软件 1份文件引用(2016) 软件作者: 埃戈尔·乔治·卡彭科夫(Egor George Karpenkov)、卡尔海因斯·弗里德伯格(Karlheinz Friedberger)、德克·拜尔(Dirk Beyer) 相关软件: FOCI;姆约利尼尔;帕盖… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MATF公司 1份文件引用(2020) 软件作者: M.S.Khan。;M.I.Khan。;苏联马利克。;Khalid,O。;阿齐姆,M。;北卡罗来纳州贾维德。 相关软件: SenetSHM公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)