×

找到30个软件包(结果1-30)

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)

Mcmt公司

27篇文献引用(2010–2023)
软件作者: 吉拉尔迪·S、兰妮丝·S
相关软件: 小卧室;SMT-LIB;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)…

ASPMT2SMT公司

6篇文献引用(2014年至2022年)
软件作者: 迈克尔·巴塞洛缪;Lee,Joohyng先生
相关软件: 克林戈;z3;克林康…
主要字段: 计算机科学(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)

ARGO-LIB公司

引用于2份文件(2004)
软件作者: 菲利普·马里奇;贾尼契奇,普雷德拉格
相关软件: SMT-LIB;CVC公司
主要字段: 计算机科学(68-XX)

jSMTLIB公司

在0个文档中引用
软件作者: 大卫·R·科克
相关软件: 达菲;JML;Frama-C…
主要字段: ——

SMCHR公司

引用于2份文件(2012–2018)
软件作者: 格雷戈里·杜克。
相关软件: 小脚;CBMC;SLAyer…
主要字段: 计算机科学(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)

扩展网络

1份文件引用(2020)
软件作者: 雷达,克莱门斯;巴特克·威尔钦斯基
相关软件: github;MaBoSS;红蝇…
主要字段: 生物学和其他自然科学(92-XX)

游戏时间

在0个文档中引用
软件作者: Seshia,Sanjit A。;乔纳森·科特克
相关软件: ——
主要字段: ——

元SMT

1份文件引用(2021)
软件作者: H.里纳。
相关软件: CVC4;SMT套件;BtorMC…
主要字段: 计算机科学(68-XX)

SMT-执行

在0个文档中引用
软件作者: Stump,A.,Deters,M。
相关软件: SMT-LIB;StarExec;TPTP…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件