×

SMT-LIB公司

swMATH标识: 4103
软件作者: 巴雷特,克拉克;德穆拉,莱昂纳多;拉妮丝,西尔维奥;树桩,亚伦;蒂内利,塞萨尔
说明: 创建SMT-LIB的目的是希望通用标准和基准库的可用性将极大地促进SMT系统的评估和比较,并以与TPTP库在定理证明方面所做的相同的方式提高该领域的技术水平,或者SATLIB库最初是为SAT做的。
主页: http://www.smt-lib.org/
相关软件: z3型;CVC4;依斯;TPTP;超小卫星;吸血鬼;伊莎贝尔/霍尔;cvc3;数学5;简化;定理证明器;可口可乐;大锤;选择器;veriT公司;;CVC Lite公司;布吉;霍尔灯;StarExec公司
引用于: 188种出版物
全部的 前5名

被395位作者引用

13 巴雷特,克拉克W。
13 沃龙科夫,安德烈
12 蒂内利,塞萨尔
10 科娃,劳拉·伊尔迪科
9 雷诺兹,安德鲁
8 布兰切特,贾斯敏·克里斯蒂安
8 德穆拉,莱昂纳多
7 Böhme,萨沙
7 吉尔迪,西尔维奥
5 Ábrahám,埃里卡
5 比尔,阿明
5 拉妮丝,西尔维奥
5 树桩,亚伦
4 波菲尔,米克尔
4 亚历山德罗·西马蒂
4 达文波特,詹姆斯·哈罗德
4 英格兰,马修
4 方丹,帕斯卡
4 格里吉奥,阿尔伯托
4 霍佐娃,佩特拉
4 国王,蒂姆
4 奥利维拉斯,艾伯特
4 雷格,吉尔斯
4 塞巴斯蒂安尼,罗伯托
4 莎莉吉娜,娜塔莎
4 斯图姆,托马斯
4 维拉雷特,马修
阿尔贝蒂,弗朗西斯科
安索特吉,卡洛斯
巴博萨,哈尼尔
鲍姆加特纳,彼得
克鲁恩斯,西蒙
弗勒里,马蒂亚斯
加内什,维杰
乔纳什,马丁
克莱默,格雷恩
蒙尼亚,大卫P。
莫斯科,米查
珀尔蒂埃,尼古拉斯
罗比拉德,西蒙
罗德里格斯·卡博内尔,恩里克
肖斯沃尔,约翰内斯
苏达,马丁
萨特克利夫,杰夫
苏伊,约瑟普
特伦丁,帕特里克
韦伯,特贾克
2 阿奈,广和
2 Arai,Noriko H。
2 比约纳,尼古拉·S。
2 博特,弗朗索瓦
2 波拉雷拉斯,克里斯蒂娜
2 聪明,柯蒂斯
2 布鲁迈尔,罗伯特
2 布鲁托梅索,罗伯托
2 卡利梅里,弗朗西斯科
2 克莱森,科恩
2 康臣,西尔文
2 科顿,斯科特
2 伊希尼姆,姆纳乔
2 福尔,日尔曼
2 弗里希,安德烈亚斯M。
2 福斯,亚历山大
2 福卡斯库,琉球
2 歌尔,阿米特
2 格伦迪,吉姆
2 古普塔,阿什图什
2 哈杜,马尔顿
2 海纳,艾伯特
2 赫尔曼,霍尔格
2 艾哈迈德·伊尔凡
2 伊湾,希德瑙
2 美国农业部约翰逊
2 约翰尼斯·卡尼格
2 小林町
2 König,芭芭拉
2 科泰尔尼科夫,叶夫根尼A。
2 科茨里亚斯,伊利亚斯。
2 科瓦什奈,盖里
2 科宁,丹尼尔
2 科斯蒂克,萨瓦A。
2 工藤,朱玛
2 昆卡,维克多
2 拉希里,Shuvendu Kumar
2 莱诺,K.鲁斯坦M。
2 莱斯库耶,圣潘
2 马拉茶,马可
2 马里奇,菲利普
2 松崎,Takuya
2 内德科恩,马克西姆
2 尼美兹,艾娜
2 尼尤文胡斯,罗伯特
2 诺特,丹尼斯
2 帕拉希,米克尔
2 帕斯凯维奇,安德烈
2 保尔森,劳伦斯·查尔斯
2 普莱纳,马蒂亚斯
2 卡迪尔,沙兹
2 罗森,丹
2 罗维里,马可
…还有295位作者

按年份列出的引文