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 弗朗索瓦Clément 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 周敏 2 蒂莫西·齐科尔。 1 哈桑·阿姆贾德 1 亚历山德罗·阿曼多 1 杰里米·阿维加德 1 阿里·阿亚德 1 鲍姆加特纳 1 贝恩德·贝克尔 1 马尔塞洛·玛丽亚·贝尔萨尼 1 弗雷德里克·贝松 1 尼古拉·S·比约纳。 1 玛丽亚·保拉（Maria Paola Bonacina） 1 理查德·博纳特 1 克里斯蒂娜·博拉莱拉斯 1 艾哈迈德·博阿贾尼 1 莫里斯·布吕诺格 1 卢卡斯·布尔瓦恩 1 弗兰克·巴特勒 1 陈刚毅 1 陈燕 1 科恩·克莱森 1 皮埃尔·埃曼纽·科尼勒奥 1 崔佳敏 1 爱德华·T·迪安。 1 Stéphane P.德姆里。 1 塞萨拉·德拉戈伊 1 奥尔·邓克尔曼 1 达特尔，亚伦·M。 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） 按年份列出的引文