×

兹马思-数学第一资源

蒂内利,塞萨尔

计算距离:
作者ID: 蒂内利。塞萨尔“蒂内利,塞萨尔”最近发表的zbMATH文章
发布方式: 蒂内利,塞萨尔;蒂内利,C。
外部链接: MGP公司·半兽人·dblp公司
编制索引的文档: 61种出版物1996年以来
8位编辑稿件

按年份列出的出版物

zbMATH公开赛中包含的引文

56出版物有被引用566时间346份文件 引用人
求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到\(\operatorname{DPLL}(T)\)。 Zbl 1326.68164
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
134
2006
DPLL(\(T\):快速决策过程。 Zbl 1103.68616
甘津格,哈拉尔德;哈根,乔治;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
41
2004
Nelson-Oppen组合过程正确性的新证明。 Zbl 0893.03001
蒂内利,塞萨尔;哈兰迪,迈赫迪
30
1996
非不相交理论的结合和可满足性程序的组合。 Zbl 1018.68033
蒂内利,塞萨尔;林格森,克里斯托夫
25
2003
SAT模理论中的按需分裂。 Zbl 1165.68480号
巴雷特,克拉克;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
21
2006
结合了不稳定的无限理论。 Zbl 1108.03014
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
18
2005
可满足模理论。 Zbl 1392.68379
巴雷特,克拉克;蒂内利,塞萨尔
18
2018
模型演化演算。 Zbl 1278.68249
鲍姆加特纳,彼得;蒂内利,塞萨尔
17
2003
利用可满足模理论求解量化验证条件。 Zbl 1213.68376
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
16
2007
模型演化演算作为一阶DPLL方法。 Zbl 1182.03034
鲍姆加特纳,彼得;蒂内利,塞萨尔
15
2008
分类理论的组合决策程序。 Zbl 1111.68691
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
13
2004
有限量化模型的发现技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
具有等式的模型演化演算。 Zbl 1135.03325
鲍姆加特纳,彼得;蒂内利,塞萨尔
12
2005
地面插值为平等理论。 Zbl 1234.68257
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
11
2009
组合理论的地面插值。 Zbl 1250.68188
歌尔,阿米特;萨瓦Krstić;蒂内利,塞萨尔
10
2009
抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
10
2005
归纳数据类型理论的一种抽象决策过程。 Zbl 1129.68022
巴雷特,克拉克;卡尼戈尔;蒂内利,塞萨尔
10
2007
背景推理机在剩余共享理论推理中的协作。 Zbl 1019.03004号
蒂内利,塞萨尔
10
2003
模型演化演算中的引理学习。 Zbl 1165.03308
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
10
2006
用自由子句将逻辑模型化简为有限逻辑模型。 Zbl 1171.68040
鲍姆加特纳,彼得;福斯,亚历山大;德尼维尔,汉斯;蒂内利,塞萨尔
9
2009
等式理论结合中的词语问题判定。 Zbl 1049.03032
巴德尔,弗兰兹;蒂内利,塞萨尔
9
2002
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
9
2015
利用可满足模理论求解量化验证条件。 Zbl 1184.68461
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
7
2009
组合可满足模参数理论。 Zbl 1186.68297
萨瓦Krstić;歌尔,阿米特;格伦迪,吉姆;蒂内利,塞萨尔
7
2007
\(\mathcal{ME}\)(LIA)–具有线性整数算术约束的模型演化。 Zbl 1182.03033号
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
7
2008
递归数据类型理论中可满足性的一种抽象决策过程。 兹布1277.68132
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
6
2007
结合非稳定无限理论。 Zbl 1261.03069
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
6
2003
使用逻辑框架进行SMT验证检查。 68524升1284
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
基于DPLL的地基可满足模理论演算。 Zbl 1013.68192号
蒂内利,塞萨尔
5
2002
将SMT求解器扩展到高阶逻辑。 Zbl 07178968
巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克
5
2019
模型进化与平等-修订和实施。 Zbl 1258.03020
鲍姆加特纳,彼得;佩尔泽,比约恩;蒂内利,塞萨尔
5
2012
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1098.03048
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
4
2006
在共享构造器的等式理论联合中判定词问题。 Zbl 0976.03051
巴德尔,弗兰兹;蒂内利,塞萨尔
4
1999
SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430
班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
4
2016
用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,2015年4月11日至18日。诉讼程序。 Zbl 1360.68006
2015
SMT中递归函数的模型发现。 Zbl 1475.68448号
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔
2016
模型演化与等模内建理论。 Zbl 1341.68180号
鲍姆加特纳,彼得;蒂内利,塞萨尔
2011
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1126.03302
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
2
2004
结合决策过程的实证理论分享建构者。 Zbl 1045.03013
巴德尔,弗兰兹;蒂内利,塞萨尔
2
2002
SMT求解器中位宽度无关的证明。 Zbl 07178987
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐约尼;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
编辑:符号计算和可满足性检验。 Zbl 1444.68006
2
2020
SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233
诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
用扩展设计理论求解器。 Zbl 06821625
雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克
2
2017
无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号
梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2015
SMT中的关系约束求解。 Zbl 06778402
孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2017
地面插值为平等理论。 Zbl 1239.03022
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
2
2012
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
结合等式理论共享非折叠自由构造器。 Zbl 0962.03037
巴德尔,弗兰兹;蒂内利,塞萨尔
1
2000
约束理论联合上的约束逻辑规划。 Zbl 0924.68050
蒂内利,塞萨尔;哈兰迪,迈赫迪T。
1
1998
描述逻辑,理论结合,等等。在弗兰兹·巴德60岁生日之际献给他的文章。 Zbl 1428.68036
1
2019
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2019
理论结合:超越平等分享。 68ZB163
博纳奇娜,玛丽亚·保拉;方丹,帕斯卡;林格森,克里斯托夫;蒂内利,塞萨尔
1
2019
具有共享选择器的数据类型。 Zbl 06958125
雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克
1
2018
2004年,爱尔兰科克,反证和第二届决策程序语用学国际研讨会论文选编。 Zbl 1271.68015号
1
2005
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2016
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
编辑:符号计算和可满足性检验。 Zbl 1444.68006
2
2020
将SMT求解器扩展到高阶逻辑。 Zbl 07178968
巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克
5
2019
SMT求解器中位宽度无关的证明。 Zbl 07178987
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐约尼;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233
诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
描述逻辑,理论结合,等等。在弗兰兹60岁生日之际,献给他的散文集。 Zbl 1428.68036
1
2019
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2019
理论结合:超越平等分享。 兹布1443.68116
博纳奇娜,玛丽亚·保拉;方丹,帕斯卡;林格森,克里斯托夫;蒂内利,塞萨尔
1
2019
可满足模理论。 Zbl 1392.68379
巴雷特,克拉克;蒂内利,塞萨尔
18
2018
具有共享选择器的数据类型。 Zbl 06958125
雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克
1
2018
用扩展设计理论求解器。 Zbl 06821625
雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克
2
2017
SMT中的关系约束求解。 Zbl 06778402
孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2017
SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430
班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
4
2016
SMT中递归函数的模型发现。 Zbl 1475.68448号
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔
2016
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2016
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
9
2015
用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,2015年4月11日至18日。诉讼程序。 Zbl 1360.68006
2015
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号
梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2015
有限量化模型的发现技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
使用逻辑框架进行SMT验证检查。 68524升1284
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
模型进化与平等-修订和实施。 Zbl 1258.03020
鲍姆加特纳,彼得;佩尔泽,比约恩;蒂内利,塞萨尔
5
2012
地面插值为平等理论。 Zbl 1239.03022
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
2
2012
模型演化与等模内建理论。 Zbl 1341.68180号
鲍姆加特纳,彼得;蒂内利,塞萨尔
2011
地面插值为平等理论。 Zbl 1234.68257
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
11
2009
组合理论的地面插值。 Zbl 1250.68188
歌尔,阿米特;萨瓦Krstić;蒂内利,塞萨尔
10
2009
用无函数子句逻辑化简计算有限模型。 Zbl 1171.68040
鲍姆加特纳,彼得;福斯,亚历山大;德尼维尔,汉斯;蒂内利,塞萨尔
9
2009
利用可满足模理论求解量化验证条件。 Zbl 1184.68461
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
7
2009
模型演化演算作为一阶DPLL方法。 Zbl 1182.03034
鲍姆加特纳,彼得;蒂内利,塞萨尔
15
2008
\(\mathcal{ME}\)(LIA)–具有线性整数算术约束的模型演化。 Zbl 1182.03033号
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
7
2008
利用可满足模理论求解量化验证条件。 Zbl 1213.68376
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
16
2007
归纳数据类型理论的一种抽象决策过程。 Zbl 1129.68022
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
10
2007
组合可满足模参数理论。 Zbl 1186.68297
萨瓦Krstić;歌尔,阿米特;格伦迪,吉姆;蒂内利,塞萨尔
7
2007
递归数据类型理论中可满足性的一种抽象决策过程。 兹布1277.68132
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
6
2007
求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到\(\operatorname{DPLL}(T)\)。 Zbl 1326.68164
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
134
2006
SAT模理论中的按需分裂。 Zbl 1165.68480号
巴雷特,克拉克;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
21
2006
模型演化演算中的引理学习。 Zbl 1165.03308
鲍姆加特纳,彼得;亚历山大富克斯;蒂内利,塞萨尔
10
2006
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1098.03048
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
4
2006
结合了不稳定的无限理论。 Zbl 1108.03014
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
18
2005
进化与微积分模型。 Zbl 1135.03325
鲍姆加特纳,彼得;蒂内利,塞萨尔
12
2005
抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
10
2005
2004年,爱尔兰科克,反证和第二届决策程序语用学国际研讨会论文选编。 Zbl 1271.68015号
1
2005
DPLL(\(T\):快速决策过程。 Zbl 1103.68616
甘津格,哈拉尔德;哈根,乔治;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
41
2004
分类理论的组合决策程序。 Zbl 1111.68691
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
13
2004
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1126.03302
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
2
2004
非不相交理论的结合和可满足性程序的组合。 Zbl 1018.68033
蒂内利,塞萨尔;林格森,克里斯托夫
25
2003
模型演化演算。 Zbl 1278.68249
鲍姆加特纳,彼得;蒂内利,塞萨尔
17
2003
背景推理机在剩余共享理论推理中的协作。 Zbl 1019.03004号
蒂内利,塞萨尔
10
2003
结合非稳定无限理论。 Zbl 1261.03069
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
6
2003
等式理论结合中的词语问题判定。 Zbl 1049.03032
巴德尔,弗兰兹;蒂内利,塞萨尔
9
2002
基于DPLL的地基可满足模理论演算。 Zbl 1013.68192号
蒂内利,塞萨尔
5
2002
结合决策过程的实证理论分享建构者。 Zbl 1045.03013
巴德尔,弗兰兹;蒂内利,塞萨尔
2
2002
结合等式理论共享非折叠自由构造器。 Zbl 0962.03037
巴德尔,弗兰兹;蒂内利,塞萨尔
1
2000
在共享构造器的等式理论联合中判定词问题。 Zbl 0976.03051
巴德尔,弗兰兹;蒂内利,塞萨尔
4
1999
约束理论联合上的约束逻辑规划。 Zbl 0924.68050
蒂内利,塞萨尔;哈兰迪,迈赫迪T。
1
1998
Nelson-Oppen组合过程正确性的新证明。 Zbl 0893.03001
蒂内利,塞萨尔;哈兰迪,迈赫迪
30
1996
全部的 前5名

被570位作者引用

27 蒂内利,塞萨尔
19 巴雷特,克拉克W。
17 雷诺兹,安德鲁
16 维登巴赫,克里斯托夫
15 吉尔迪,西尔维奥
12 布兰切特,贾斯敏·克里斯蒂安
11 博纳奇娜,玛丽亚·保拉
11 方丹,帕斯卡
10 拉妮丝,西尔维奥
9 德穆拉,莱昂纳多
9 塞巴斯蒂安尼,罗伯托
8 利勒,尤利娅
8 林格森,克里斯托夫
7 鲍姆加特纳,彼得
7 布鲁托梅索,罗伯托
7 沃德曼,乌韦
6 巴德尔,弗兰兹
6 梅斯盖尔·瓜伊塔,何塞
6 尼尤文胡斯,罗伯特
5 伊希尼姆,姆纳乔
5 弗勒里,马蒂亚斯
5 格里吉奥,阿尔伯托
5 昆卡,维克多
5 索夫罗尼·斯托克曼,维奥里卡
4 聪明,柯蒂斯
4 亚历山大提
4 德哈贝,大卫
4 威慑,摩根
4 多达罗,胭脂红
4 加内什,维杰
4 乔瓦诺维奇,德扬
4 科茨里亚斯,伊利亚斯。
4 科宁,丹尼尔
4 科斯蒂克,萨瓦A。
4 尼美兹,艾娜
4 准备好了,大卫艾伦
4 普莱纳,马蒂亚斯
4 沙托尔,乌布。
4 莎莉吉娜,娜塔莎
4 斯图基,彼得·詹姆斯
4 图雷特,索菲
4 德康川
4 扎尔巴,卡罗杰罗G。
4 周,敏
Ábrahám,埃里卡
阿尔贝蒂,弗朗西斯科
班萨尔,克希提
本特坎普,亚历山大
比约纳,尼古拉·S。
布朗伯格,马丁
乔克伦,保拉
康臣,西尔文
德卡特,兄弟
埃格斯,安德烈亚斯
格布瑟,马丁
贾诺拉,亚历山德罗
他,费
霍尼克,约琴
美国农业部约翰逊
科罗文,康斯坦丁
林奇,克里斯托弗A。
马拉茶,马可
奥利维拉斯,艾伯特
吕默,菲利普
施密特,雷诺A。
宋晓宇
树桩,亚伦
孙佳光
沃龙科夫,安德烈
瓦克米罗维奇,佩塔
你,贾淮
张燕
2 阿尔维亚诺,马里奥
2 阿瑞斯,卡洛斯
2 班科维奇,米兰
2 巴博萨,哈尼尔
2 比尔,阿明
2 阮成平
2 波菲尔,米克尔
2 Böhme,萨沙
2 博格沃德,斯特凡
2 波扎诺,马可
2 布鲁努赫,莫里斯
2 加尔瓦内斯,迭戈
2 基哈尼,扎卡里亚
2 上帝啊,约根
2 克莱森,科恩
2 克里斯蒂娅,马克西米利亚诺
2 克鲁恩斯,西蒙
2 德奥利维拉,迭戈卡米尼亚B。
2 D'silva,维杰
2 菲茨克,阿诺
2 佛罗伦萨,卡米洛
2 马丁,弗兰兹
2 福斯,亚历山大
2 福斯,卡斯滕
2 歌尔,阿米特
2 格雷厄姆·伦格兰德,圣潘
2 顾,明
2 霍尔巴赫,马提亚斯
...还有470位作者

按年份列出的引文