CVC4型 185篇文献引用(2013–2023) 软件作者: Barrett,C.、Conway,C.L.、Deters,M.、Hadarean,L.、Jovanović,D.、King,T.、Reynolds,A.、Tinelli,C。 相关软件: z3;SMT-LIB;数学SAT5… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数值分析(65-XX)…
cvc3型 80篇文献引用(2006–2023) 软件作者: 克拉克·巴雷特(Clark Barrett)、塞萨尔·蒂内利(Cesare Tinelli 相关软件: z3;SMT-LIB;Yices… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
转向器 38篇文献引用(2010–2022) 软件作者: Robert Brummayer;阿明·比尔 相关软件: z3;SMT-LIB;CVC4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
悉尼商学院 13份文件引用(2014–2021) 软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克 相关软件: z3;vZ;OptiMathSAT… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
c2i公司 10篇文献引用(2016–2023) 软件作者: 拉胡尔·夏尔马(Rahul Sharma);艾肯,亚历克斯 相关软件: z3;胡迪尼;Eldarica… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CVC4SY公司 9份文件引用(2019–2023) 软件作者: 安德烈斯·诺兹利;安德鲁·雷诺兹(Andrew Reynolds);巴博萨、哈尼尔;艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);克拉克·巴雷特;塞萨尔·蒂内利 相关软件: CVC4;z3;迷你卫星… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
ESBMC公司 4份文件引用(2014–2020) 软件作者: 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学;卢卡斯·科尔代罗(Lucas Cordeiro);杰里米·莫尔斯(Jeremy Morse);丹尼斯·尼科尔;伯恩德·菲舍尔 相关软件: CBMC;LLBMC;爆炸… 主要字段: 计算机科学(68-XX)
NLambda公司 引用于8份文件(2016–2022) 软件作者: 巴托克·克林;MichałSzynwelski 相关软件: 路易斯;z3;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
bv2epr公司 7份文件引用(2013–2018) 软件作者: 科瓦什奈,格格利;安德烈亚斯·弗里奇(Andreas Fröhlich);阿明·比尔 相关软件: STP;z3;Yices… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
LinAIG公司 7份文件引用(2011–2022) 软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;弗洛里安·皮戈什(Florian Pigorsch);克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 相关软件: z3;CUDD;SpaceEx… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…
HyComp公司 6篇文献引用(2017–2022) 软件作者: A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件: nuXmv;CTIGAR;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
ASASP公司 4份文件引用(2012–2020) 软件作者: 弗朗切斯科,阿尔贝蒂;亚历山德罗·阿曼多;西尔维奥·兰伊斯 相关软件: Mcmt;验证;助推器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
洞穴堆积 5份文件引用(2010–2022) 软件作者: 玛格斯·维纳斯(Margus Veanes);尼古拉·蒂尔曼;乔纳森·德·哈勒克斯 相关软件: z3;Z3str3;陌生人… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
fzn2毫米 4份文件引用(2012–2017) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;Gecode公司;SCIP… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
马赫SMT 4份文件引用(2021–2022) 软件作者: 约瑟夫·斯科特(Joseph Scott);艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);赛义德·内贾蒂;维杰·加内什 相关软件: MedleySolver;萨齐拉;z3… 主要字段: 计算机科学(68-XX)
CLN2投资 3份文件引用(2020–2022) 软件作者: Gabriel Ryan、Justin Wong、Jinan Yao、Gu Ronghui、Suman Jana 相关软件: 代码2发票;垫片;z3… 主要字段: 计算机科学(68-XX)
CoSA公司 引用于2份文件(2020–2022) 软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。 相关软件: 尤瑟斯;BtorMC;Pono… 主要字段: 计算机科学(68-XX)
MedleySolver公司 3份文件引用(2021–2022) 软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。 相关软件: 马赫SMT;z3;SATZILA… 主要字段: 计算机科学(68-XX)
TSAT公司++ 3份文件引用(2005–2008) 软件作者: 亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金奇利亚(Enrico Giunchiglia);马西莫·伊迪尼;马可·马拉提亚 相关软件: CVC;SMT-LIB;箔条… 主要字段: 计算机科学(68-XX)
BanditFuzz乐队 1份文件引用(2022) 软件作者: 斯科特·J。;Sudula,T。;Rehman,H。;莫拉·F。;加内什,V。;Huisman,M。;Păsăreanu,C。;詹,N。 相关软件: 依兰CoP;VAMPIRE公司;阿凡达… 主要字段: 计算机科学(68-XX)
DS验证器 1份文件引用(2018) 软件作者: 查夫斯、列侬;伊奥里·贝萨;卢卡斯·科尔代罗(Lucas Cordeiro);丹尼尔·克罗宁 相关软件: Matlab;DSVerifier;CBMC… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)