×

SMT-LIB语言

swMATH ID: 4103
软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利
描述： 创建SMT-LIB的目的是希望通用标准和基准库的可用性将大大促进SMT系统的评估和比较，并以与TPTP库在定理证明方面相同的方式推进该领域的最新技术，或者SATLIB库最初已为SAT完成。
主页： http://www.smt-lib.org/
相关软件： z3（零3）;CVC4型;Yices公司;VAMPIRE公司;TPTP公司;超小卫星;伊莎贝尔/霍尔;cvc3型;数学SAT5;Coq公司;简化;E定理证明器;转向器;大锤;StarExec公司;糠;验证;SMT大鼠;布吉;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）
三 杰夫·萨特克利夫
三 约塞普·苏伊
三 帕特里克·特伦丁
三 韦伯，特贾克
2 阿奈、平子
2 Noriko H.Arai。
2 墨菲·贝尔齐什
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 Kobayashi、Munehiro
2 科特尔·尼科夫（Evgeny A.Kotel’nikov）。
2 科齐里亚斯（Ilias S.Kotsireas）。
2 格格利·科瓦什奈
2 丹尼尔·科宁
2 萨瓦·A·克里斯蒂。
2 朱玛·库多
2 维克多·昆卡
2 拉希里、舒文杜·库马尔
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）

按年份列出的引文