cvc3型 swMATH ID: 4886 软件作者: 克拉克·巴雷特(Clark Barrett)、塞萨尔·蒂内利(Cesare Tinelli 描述: CVC3是可满足模理论(SMT)问题的自动定理证明程序。CVC3是一系列流行的SMT证明程序的最后一代,该证明程序起源于斯坦福大学的SVC系统。特别是,它建立在CVC Lite(其最新的前身)的代码基础上。其高级设计遵循Sammy谚语。 主页: http://www.cs.nyu.edu/acsys/cvc3/ 编程语言: C、 C++API 操作系统: Mac OS X 32位或64位、Debian/Ubuntu Linux、Fedora Linux、Windows 依赖项: GCC 3.0或更高版本、Bash、Flex、Bison、GMP(推荐)Python解释器(可选,用于Java支持)、Java编译器(可选,适用于Java支持) 相关软件: z3(零3);SMT-LIB公司;Yices公司;简化;Why3号机组;Coq公司;伊莎贝尔/HOL;卡拉卡拉;HOL灯;VAMPIRE公司;Caduceus公司;规格#;E定理证明器;CVC精简版;PVS公司;布吉;SPASS公司;数学SAT;VCC公司;电子稳定控制系统/Java 引用于: 80文件 更多出版物: http://www.cs.nyu.edu/acsys/cvc3/publications.html 全部的 前5名164位作者引用 7 克拉克·W·巴雷特。 5 塞萨尔·蒂内利 4 Böhme,萨沙 4 莱昂纳多·德·莫拉 4 葛叶婷 4 克劳德·马奇 4 罗伯托·塞巴斯蒂亚尼 三 亚历克斯·艾肯 三 贾斯敏·克里斯蒂安·布兰切特 三 西尔维·博尔多 三 亚历山德罗·西马蒂 三 伊西尔·迪利格 三 托马斯·迪利格 三 阿尔贝托·格里乔 三 Leino,K.Rustan M。 三 米凯拉·梅耶罗 三 阿尔伯特·奥利弗拉斯 三 恩里克·罗德里格斯-卡博内尔 2 艾丽卡·阿尔布拉汉姆 2 阿明·比尔 2 弗朗索瓦·博伯特 2 罗伯特·布鲁迈耶 2 罗伯特·布鲁托梅索 2 乔达里,Dipak L。 2 弗朗索瓦·克莱门特 2 Om P.达马尼。 2 Jean-Christophe Filliátre 2 安德斯·弗朗森 2 他,费 2 德扬·约瓦诺维奇 2 康斯坦丁·科洛文 2 维克多·昆卡 2 纪尧姆·梅尔金德 2 米查·莫斯卡尔 2 罗伯特·纽文胡斯 2 劳伦斯·查尔斯·保尔森 2 鲁齐卡皮斯卡 2 阿尔伯特·鲁比奥 2 斯蒂芬·舒尔茨 2 斯蒂芬·西格尔(Stephen F.Siegel)。 2 德坎·特兰 2 皮埃尔·韦斯 2 托马斯·维斯 2 周敏(Zhou,Min) 2 蒂莫西·齐科尔。 1 哈桑·阿姆贾德 1 亚历山德罗·阿曼多 1 杰里米·阿维加德 1 阿里·阿亚德 1 彼得·鲍姆加特纳 1 贝恩德·贝克尔 1 Marcelo Maria贝尔萨尼 1 弗雷德里克·贝松 1 尼古拉·S·比约纳。 1 玛丽亚·保拉(Maria Paola Bonacina) 1 理查德·博纳特 1 克里斯蒂娜·博拉莱拉斯 1 艾哈迈德·博阿贾尼 1 莫里斯·布吕诺格 1 卢卡斯·布尔瓦恩 1 弗兰克·巴特勒 1 陈刚毅 1 陈燕 1 科恩·克莱森 1 皮埃尔·埃曼纽·科尼勒奥 1 崔佳敏 1 爱德华·T·迪安。 1 斯特凡·德姆里。 1 塞萨拉·德拉戈伊 1 奥尔·邓克尔曼 1 亚伦·M·达特(Aaron M.Dutle)。 1 马修·德怀尔。 1 约琴·艾辛格 1 康斯坦丁·埃纳 1 斯蒂芬·福克 1 德国福雷 1 Anthony C.J.福克斯。 1 玛丽亚·乔昂·弗雷德 1 福田、阿基拉 1 布雷迪·J·加文。 1 Shibam州Ghosh 1 克里斯托夫·格拉迪什。 1 本杰明·戈德伯格 1 林赛·格罗夫斯。 1 顾,明 1 顾,明 1 哈达伦,莉安娜 1 尤塞夫·哈马迪 1 郝克诚 1 约翰·哈特克利夫 1 何,史 1 Heule,Marijn J.H。 1 弗洛伦特·希弗特 1 胡凯 1 詹森,尼尔斯 1 杰尔达·詹森斯 1 马蒂·Järvisalo 1 尼古拉斯·珍妮罗德 1 迪帕克·卡普尔 1 Joost-Pieter卡托恩 …还有64位作者 全部的 前5名18篇连载文章中引用 6 自动推理杂志 5 系统设计中的形式化方法 三 计算的形式方面 三 可满足性、布尔建模与计算杂志 2 数学与人工智能年鉴 2 计算机科学中的数学 1 倒排索引综述 1 计算机与数学及其应用 1 编程与计算机软件 1 理论计算机科学 1 人工智能研究杂志 1 计算系统理论 1 逻辑程序设计理论与实践 1 应用数学杂志 1 ACM计算逻辑事务 1 人工智能和应用的前沿 1 符号逻辑述评 1 计算机科学评论 全部的 前5名在12个字段中引用 75 计算机科学(68至XX) 21 数理逻辑与基础(03-XX) 6 数值分析(65-XX) 4 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 偏微分方程(35-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 拓扑群、李群(22日至XX日) 1 几何图形(51至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文