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公司;伊莎贝尔/霍尔;糠;数学SAT;污水处理厂;AProVE公司;VAMPIRE公司;TPTP公司;Why3号机组;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 比肖克桑·卡夫 4 安德鲁·雷诺兹 4 Natarajan Shankar 4 约塞普·苏伊 4 克里斯托夫·韦登巴赫 三 卡洛斯·安索特吉 三 阿明·比尔 三 马克·布罗克施米特 三 拉玛斯瓦米·钱德拉塞卡兰 三 布鲁诺·杜特雷 三 圣地亚哥埃斯科瓦尔 三 卡斯滕·福斯 三 圣菲省格拉汉·伦格兰德 三 基里恩·克莱默 三 艾娜·尼梅茨 三 劳伦斯·查尔斯·保尔森 三 尼古拉斯·佩尔蒂埃 三 马蒂亚斯·普雷纳 三 恩里克·罗德里格斯-卡博内尔 三 马可·罗维里 三 Schneider Kamp，彼得 三 哈拉尔德·森德加德 三 彼得·詹姆斯·斯塔基 三 阿什什·库马尔·蒂瓦里 三 汉斯·赞特马 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.Lynch）。 2 恩里科·马格纳戈 2 很多，费利普 2 马可·马拉提亚 2 何塞·梅塞盖尔·瓜伊塔 2 安德烈亚·米凯利 2 大卫·莫尼奥（David P.Monniaux）。 2 马可·蒙塔利 2 米查·莫斯卡尔 2 阿尔伯特·奥利弗拉斯 2 卡斯滕·奥托 2 米奎尔·帕拉希 2 马丁·普吕克 2 桑德罗·普雷托 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 AI通信 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） 按年份列出的引文