Yices公司 swMATH ID: 4436 软件作者: B.杜特雷;L.de Moura村 描述: Yices是一个高效的SMT解算器,用于确定包含未解释函数符号的任意公式的可满足性,包括等式、线性实数和整数算术、标量类型、递归数据类型、元组、记录、扩展数组、固定大小的位向量、量词和lambda表达式。Yices还可以处理MaxSMT(以及不可压缩内核),作为普通SAT和MaxSAT解算器具有竞争力。 主页: http://yices.csl.sri.com/ 关键词: SMT求解器 相关软件: z3(零3);SMT-LIB公司;CVC4型;数学SAT5;超小卫星;cvc3型;简化;转向器;Coq公司;伊莎贝尔/HOL;糠;数学SAT;污水处理厂;AProVE公司;VAMPIRE公司;TPTP公司;为什么3;github;SCIP公司;HOL灯 引用于: 168文件 全部的 前5名355位作者引用 7 克拉克·W·巴雷特。 7 亚历山德罗·西马蒂 7 克里希纳·苏布拉马尼 6 米克尔波菲尔 6 马图·维拉雷特 5 弗洛里安·弗洛恩 5 吉尔根·吉斯尔 5 阿尔贝托·格里乔 5 德扬·约瓦诺维奇 5 罗伯托·塞巴斯蒂亚尼 5 托马斯·斯特罗德 5 塞萨尔·蒂内利 4 贾斯敏·克里斯蒂安·布兰切特 4 Böhme,萨沙 4 马丁·布隆伯格 4 约翰·加拉赫(John P.Gallagher)。 4 杰拉·亨塞尔 4 Kafle,比肖克桑 4 安德鲁·雷诺兹 4 Natarajan Shankar 4 约塞普·苏伊 4 克里斯托夫·韦登巴赫 三 卡洛斯·安索特吉 三 阿明·比尔 三 马克·布罗克施米特 三 拉玛斯瓦米·钱德拉塞卡兰 三 布鲁诺·杜特雷 三 圣地亚哥埃斯科瓦尔 三 卡斯滕·福斯 三 Graham Lengrand,Stéphane公司 三 基里恩·克莱默 三 艾娜·尼梅茨 三 劳伦斯·查尔斯·保尔森 三 尼古拉斯·佩尔蒂埃 三 马蒂亚斯·普雷纳 三 恩里克·罗德里格斯-卡博内尔 三 马可·罗维里 三 彼得·施奈德·坎普 三 Søndergaard,哈拉尔 三 彼得·詹姆斯·斯塔基 三 阿什什·库马尔·蒂瓦里 三 汉斯·赞特马 2 艾丽卡·阿尔布拉汉姆 2 亚历克斯·艾肯 2 阿坤、奥祖尔 2 科尼利厄斯·阿舍曼 2 尼古拉·S·比约纳。 2 弗朗索瓦·博博特 2 玛丽亚·保拉(Maria Paola Bonacina) 2 克里斯蒂娜·博拉莱拉斯 2 蔡少伟 2 迭戈·卡尔瓦内斯 2 伊西尔·迪利格 2 托马斯·迪利格 2 穆纳乔·埃切宁 2 费边·埃姆斯 2 马塞洛·芬格 2 格雷姆·恒河 2 皮埃尔·甘蒂 2 托马斯·马丁·高利察 2 伊恩·菲利普·根特 2 西尔维奥·吉拉尔迪 2 亚历山德罗·吉亚诺拉 2 艾哈迈德·埃尔凡 2 容伯姆·荣格 2 维克多·昆卡 2 Lee,Wonchan先生 2 李伯翰 2 萨尔瓦多卢卡斯 2 林奇,Christopher A。 2 恩里科·马格纳戈 2 很多,费利普 2 马可·马拉提亚 2 何塞·梅塞盖尔·瓜伊塔 2 安德烈亚·米凯利 2 Monniaux,David P。 2 马可·蒙塔利 2 米查·莫斯卡尔 2 阿尔伯特·奥利弗拉斯 2 奥托·卡斯滕 2 米克尔帕拉西 2 马丁·普吕克 2 Preto,桑德罗 2 卢卡·普利纳 2 安德烈·里夫金 2 阿尔伯特·鲁比奥 2 菲利普·吕默 2 朱莉娅·萨皮娜 2 彼得·沙赫特 2 桑吉特·阿伦库马尔·塞希亚 2 宋晓宇 2 斯特里赫曼(Ofer Strichman) 2 托马斯·斯特姆 2 斯蒂芬妮·斯威德斯基 2 卡罗琳·塔尔科特。 2 雷内·蒂曼 2 王,弯腰 2 Wojciechowski,Piotr J。 2 Yi,Kwangkeun先生 2 张新迪 …还有255位作者 全部的 前5名35篇连载文章中引用 13 自动推理杂志 12 系统设计中的形式化方法 6 约束条件 5 计算的形式方面 5 逻辑程序设计理论与实践 5 计算机科学中的逻辑方法 4 人工智能 4 理论计算机科学 4 程序设计中的逻辑和代数方法杂志 三 数学与人工智能年鉴 三 计算系统理论 三 ACM计算逻辑事务 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 离散应用数学 1 模糊集与系统 1 绩效评估 1 符号计算杂志 1 信息与计算 1 计算机与运筹学 1 人工智能通信 1 实时系统 1 全球优化杂志 1 复杂性 1 运筹学国际交易 1 启发式杂志 1 软计算 1 整数序列杂志 1 应用逻辑杂志 1 离散优化 1 《大学学报》。Informatica公司 1 形式化推理杂志 1 科学中国。信息科学 1 计算机科学前沿 1 计算机科学评论 全部的 前5名在14个字段中引用 153 计算机科学(68至XX) 44 数学逻辑和基础(03-XX) 22 运筹学、数学规划(90-XX) 三 组合数学(05-XX) 三 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 实际功能(26年X月X日) 1 代数拓扑(55-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的引文