EasyCrypt公司 35篇文献引用(2011–2022) 软件作者: 吉尔·巴特;本杰明·格雷戈里;Sylvain Heraud;贝盖林,圣地亚哥·扎内拉 相关软件: Coq;F*;AVISPA… 主要字段: (94A60-XX);(68P25-XX);(91A80-XX)
诺恩 15篇文献引用(2017–2023) 软件作者: Abdulla,P.A.,Atig,M.F.,Chen,Y.-F.,Holík,L.,Rezine,A.,Rümmer,P.,Stenman,J。 相关软件: CVC4;陌生人;S3… 主要字段: –
悉尼商学院 13份文件引用(2014–2021) 软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克 相关软件: z3;vZ;OptiMathSAT… 主要字段: (68Q60-XX);(68N30-XX);(68T20-XX)…
ESBMC公司 4份文件引用(2014–2020) 软件作者: 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学;卢卡斯·科尔代罗(Lucas Cordeiro);杰里米·莫尔斯(Jeremy Morse);妮可,丹尼斯;伯恩德·菲舍尔 相关软件: CBMC;LLBMC;爆炸… 主要字段: –
H-PILoT公司 6篇文献引用(2009–2021) 软件作者: Carsten Ihlemann,Viorica Sofrone-Stokkermans公司 相关软件: z3;REDLOG;草蜢… 主要字段: –
斯克普提克 5份文件引用(2014–2018) 软件作者: Joseph Boudou、Andreas Fellner、Bruno Woltzenogel古 相关软件: FOCI;MiniSat;SATO… 主要字段: –
简单 5份文件引用(2010–2020) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;Yices;SMT-LIB… 主要字段: –
SMT至TPTP 5份文件引用(2015年至2017年) 软件作者: 鲍姆加特纳,P。 相关软件: TPTP;SMT-LIB;z3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
CoReS公司 4份文件引用(2018–2022) 软件作者: 巴巴拉·科尼格;内德科恩,马克西姆;诺尔特,丹尼斯 相关软件: z3;SMT-LIB;MEMSALab… 主要字段: (68Q42-XX);(68T15-XX)
fzn2毫米 4份文件引用(2012–2017) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;通用电气;SCIP… 主要字段: –
马赫SMT 4份文件引用(2021年至2022年) 软件作者: 约瑟夫·斯科特(Joseph Scott);艾娜·尼梅茨;马蒂亚斯·普雷纳(Mathias Preiner);赛义德·内贾蒂;Ganesh,维杰 相关软件: MedleySolver;萨齐拉;z3… 主要字段: (68Qxx-XX)
努恰库 4份文件引用(2016–2022) 软件作者: 安德鲁·雷诺兹(Andrew Reynolds);Jasmin Christian布兰切特;西蒙·克鲁恩斯(Simon Cruanes);塞萨尔·蒂内利 相关软件: CVC4;z3;Nitpick… 主要字段: (68V15-XX);(03B35-XX);(68Q60-XX)
MedleySolver公司 3份文件引用(2021年至2022年) 软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。 相关软件: 马赫SMT;z3;SATZILA… 主要字段: (68Q25-XX);(68R07-XX);(68T20-XX)
EFSMT公司 2份文件引用(2016年至2019年) 软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件: z3;Yices;SMT-RAT… 主要字段: –
Smt开关 1份文件引用(2021) 软件作者: 马凯·曼;阿玛莉·威尔逊(Amalee Wilson);尤尼·佐哈尔;林赛·特恩茨;艾哈迈德·伊尔凡;克里斯托弗·布朗(Kristopher Brown);卡勒布·多诺维克;Allison Guman;蒂内利、塞萨尔;克拉克·巴雷特 相关软件: 谷歌测试;z3;PySMT… 主要字段: (68Q25-XX);(68R07-XX);(68T20-XX)
Wombit公司 2份文件引用(2019–2020) 软件作者: 王文喜;哈拉尔德·Söndergaard;彼得·斯塔基。 相关软件: CVC4;Why3;MiniSat… 主要字段: (68T20-XX)
BanditFuzz乐队 1份文件引用(2022) 软件作者: 斯科特,J。;Sudula,T。;拉赫曼,H。;莫拉·F。;Ganesh,V.公司。;Huisman,M。;帕斯勒诺,C。;詹,N。 相关软件: 依兰CoP;VAMPIRE公司;阿凡达… 主要字段: –
FP泰勒 1份文件引用(2022) 软件作者: 阿列克谢·索洛维耶夫;Baranowski,Marek S。;Briggs Ian;查尔斯·雅各布森;茨沃尼米尔·拉卡马里奇;加内什·戈帕拉克里什南 相关软件: dReal;HOL灯;QEPCAD… 主要字段: –
JavaSMT软件 1份文件引用(2016) 软件作者: 埃戈尔·乔治·卡彭科夫(Egor George Karpenkov)、卡尔海因斯·弗里德伯格(Karlheinz Friedberger)、德克·拜尔(Dirk Beyer) 相关软件: 姆约利尼尔;PAGAI;FOCI… 主要字段: –
QuIt公司 1份文件引用(2018) 软件作者: 格雷斯,伯恩哈德;劳拉·科瓦奇(Laura Kovács);西蒙·罗比拉德 相关软件: VAMPIRE公司;InvGen;CVC4… 主要字段: (68Q60-XX);(68N30-XX)