SMT-LIB公司 swMATH ID: 4103 软件作者: 克拉克·巴雷特;莱昂纳多·德·莫拉;西尔维奥·兰伊斯;阿伦·斯塔姆(Aaron Stump);塞萨尔·蒂内利 描述: 创建SMT-LIB的目的是希望通用标准和基准库的可用性将大大促进SMT系统的评估和比较,并以与TPTP库在定理证明方面相同的方式推进该领域的最新技术,或者SATLIB库最初已经为SAT完成了。 主页: http://www.smt-lib.org/ 相关软件: z3(零3);CVC4型;Yices公司;VAMPIRE公司;TPTP公司;伊莎贝尔/HOL;超小卫星;cvc3型;数学SAT5;Coq公司;简化;E定理证明器;转向器;大锤;StarExec公司;糠;验证;SMT-RAT型;布吉;github 引用于: 218文件 全部的 前5名457位作者引用 19 克拉克·W·巴雷特。 16 塞萨尔·蒂内利 14 安德烈·沃龙科夫 13 安德鲁·雷诺兹 12 科瓦奇,劳拉·伊尔迪科 8 贾斯敏·克里斯蒂安·布兰切特 8 莱昂纳多·德·莫拉 7 艾丽卡·阿尔布拉汉姆 7 Böhme,萨沙 7 英格兰,马修 7 西尔维奥·吉拉尔迪 6 哈尼尔·巴博萨 6 阿尔贝托·格里乔 5 阿明·比尔 5 亚历山德罗·西马蒂 5 詹姆斯·哈罗德·达文波特 5 佩特拉·霍佐娃 5 艾娜·尼梅茨 5 马蒂亚斯·普雷纳 5 西尔维奥·兰伊斯 5 贾尔斯·里格尔 5 罗伯托·塞巴斯蒂亚尼 5 阿伦·斯塔姆 5 马丁·苏达 5 尤尼·佐哈尔 4 米克尔波菲尔 4 克里斯托弗·布朗(Christopher W.Brown)。 4 帕斯卡·方丹 4 维杰·加内什 4 金,蒂姆 4 基里恩·克莱默 4 安德烈斯·诺兹利 4 阿尔伯特·奥利弗拉斯 4 娜塔莎·莎莉吉娜 4 托马斯·斯特姆 4 马图·维拉雷特 三 弗朗西斯科·阿尔贝蒂 三 卡洛斯·安索特吉 三 鲍姆加特纳 三 西蒙·克鲁恩斯 三 马蒂亚斯·弗勒里 三 格雷斯,伯恩哈德 三 马尔顿哈杜 三 艾哈迈德·埃尔凡 三 马丁·乔纳什 三 巴巴拉·科尼格 三 大卫·莫尼奥(David P.Monniaux)。 三 米夏·莫斯卡尔 三 诺尔特,丹尼斯 三 尼古拉斯·佩尔蒂埃 三 沙兹·卡迪尔 三 西蒙·罗比拉德 三 恩里克·罗德里格斯-卡博内尔 三 约翰·肖斯·沃尔(Johannes Schoisswohl) 三 杰夫·萨特克利夫 三 Suy,约瑟普 三 帕特里克·特伦丁 三 Tjark韦伯 2 阿奈、平子 2 Noriko H.Arai。 2 Murphy贝尔齐什 2 尼古拉·S·比约纳。 2 弗朗索瓦·博伯特 2 克里斯蒂娜·博拉莱拉斯 2 布莱特,柯蒂斯 2 罗伯特·布鲁迈耶 2 罗伯特·布鲁托梅索 2 弗朗西斯科·卡利默里 2 科恩·克莱森 2 Sylvain Conchon公司 2 科顿,斯科特 2 穆纳乔·埃切宁 2 德国福雷 2 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 2 富克斯,亚历山大 2 藤崎隆彦 2 阿米特·戈尔 2 吉姆·格兰迪 2 阿什图什·古普塔 2 阿尔伯特·海因勒 2 霍尔格·赫尔曼斯 2 沙迦·伊扎基 2 伊瓦内、希德诺 2 穆阿·约翰逊 2 德扬·约瓦诺维奇 2 约翰尼斯·卡尼格 2 Munehiro小林 2 叶夫根尼·科捷尔尼科夫。 2 科齐里亚斯(Ilias S.Kotsireas)。 2 格格利·科瓦什奈 2 丹尼尔·科宁 2 萨瓦·A·克里斯蒂。 2 朱玛·库多 2 维克多·昆卡 2 Shuvendu Kumar拉希里 2 Leino,K.Rustan M。 2 莱斯库耶,圣菲 2 马凯·曼 2 马可·马拉提亚 2 菲利普·马里奇 …还有357位作者 全部的 前5名37篇连载文章中引用 16 自动推理杂志 8 符号计算杂志 7 系统设计中的形式化方法 6 计算机科学中的逻辑方法 4 约束条件 三 人工智能 三 计算机程序设计科学 三 人工智能研究杂志 2 计算的形式方面 2 逻辑程序设计理论与实践 2 计算机科学中的数学 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 离散应用数学 1 ACM数学软件汇刊 1 模糊集与系统 1 信息科学 1 理论计算机科学 1 AI通信 1 MSCS公司。计算机科学中的数学结构 1 尤约。南斯拉夫运筹学杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 启发式杂志 1 计算系统理论 1 组合优化期刊 1 美国医学会杂志 1 应用数学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 可满足性、布尔建模与计算杂志 1 计算机科学科学年鉴 1 计算机代数中的ACM通信 1 《大学学报》。Informatica公司 1 科学中国。信息科学 1 计算机科学前沿 1 理论计算机科学课文。EATCS系列 全部的 前5名23个字段中引用 209 计算机科学(68至XX) 58 数学逻辑和基础(03-XX) 10 运筹学、数学规划(90-XX) 5 组合数学(05-XX) 2 总体主题;集合(00-XX) 2 代数几何(14-XX) 2 常微分方程(34-XX) 2 数值分析(65-XX) 2 生物学和其他自然科学(92-XX) 2 数学教育(97-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实际功能(26年X月X日) 1 动力系统和遍历理论(37至XX) 1 几何图形(51至XX) 1 凸和离散几何(52-XX) 1 代数拓扑(55-XX) 1 经典热力学,传热(80-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文