×

兹马思-数学第一资源

塞巴斯蒂安尼,罗伯托

计算距离:
作者ID: 塞巴斯蒂安尼·罗伯托 “塞巴斯蒂安尼,罗伯托”最近的zbMATH文章
发布为: 塞巴斯蒂安尼。;塞巴斯蒂安尼,罗伯托
编制索引的文档: 71种出版物1994年以来,包括4本书
全部的 前5名

合著者

4 单作者
29 亚历山德罗·西马蒂
18 格里吉奥,阿尔伯托
8 布鲁托梅索,罗伯托
8 罗维里,马可
7 朱西格里亚,福斯托
6 波扎诺,马可
5 弗兰兹én、 安德斯
5 托内塔,斯特凡诺
4 奥德马尔,吉尔
4 恩里希科
4 艾哈迈德·伊尔凡
4 朱蒂拉,汤米A。
4 舒尔茨,斯蒂芬
4 范罗森,彼得
4 瓦迪,莫斯伊。
4 维斯科维,米歇尔
科尔内ł奥维茨,阿图尔
帕特尔施耐德,彼得F。
皮斯托尔,马可
塔切拉,阿曼多
托马斯,西尔维亚
特伦丁,帕特里克
2 贝尔托利,皮耶戈乔
2 卞正兵
2 查达克,法比á不适用。
2 加尔米切,迪迪埃
2 勒,这就是你的意思
2 麦克雷迪,威廉G。
2 帕塞里尼,安德里亚
2 拉妮丝,西尔维奥
2 罗伊,艾登
2 Schaafsma,巴斯蒂安·乔斯特
2 伊莱·辛格曼
2 瓦洛蒂,斯特凡诺
1 比尔,阿明
1 邦迪,艾伦
1 克拉克,埃德蒙·梅尔森俊。
1 厨师,比尔D。
1 吉尔迪,西尔维奥
1 乔治尼,保罗
1 哈斯列夫,沃尔克
1 汉娜,齐亚德
1 霍洛克斯,伊恩
1 哈西达什维利,祖拉布O。
1 ö西比尔,西比尔
1 莫雷丁,保罗
1 麦洛普洛斯,约翰
1 尼基亚雷利,埃莉诺拉
1 帕提,阿米特
1 潘,群生
1 圣图里,亚历山德罗
1 斯蒂尼科,克里斯蒂安
1 泰索,斯特凡诺
1 托马西,亚历山德罗
1 维拉菲奥里塔,阿道夫
1 沃尔什,托比

按年份列出的出版物

zbMATH公开赛中包含的引文

52出版物有被引用412时间282份文件 引用人
OpenNusan model的符号源代码:OpenNusan 2。 Zbl公司 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;朱西格里亚,福斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
78
2002
懒惰可满足模理论。 Zbl公司 1145.68501
塞巴斯蒂安尼,罗伯托
38
2007
MathSAT5 SMT解算器。 Zbl公司 1381.68153
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
32
2013
可满足模理论中的有效插值生成。 Zbl公司 1134.68402
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
16
2008
通过布尔搜索进行有效的理论组合。 Zbl公司 1137.68578
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
15
2006
基于SAT的布尔和线性数学命题公式求解方法。 Zbl公司 1072.68562
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
15
2002
可满足模理论中Craig插值的有效生成。 Zbl公司 1351.68247
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
14
2010
使用验证工业混合动力系统数学卫星. Zbl公司 1272.68220
奥德马尔,吉尔;波扎诺,马可;亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
14
2005
线性算术逻辑可满足性的增量分层过程。 Zbl公司 1087.68630
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
13
2005
定时系统的有界模型检验。 Zbl公司 1037.68549
奥德马尔,G。;西马蒂,A。;科尼洛维奇,A。;塞巴斯蒂安尼。
11
2002
具有\(\mathcal{LA}(\mathbb Q)\)代价函数的SMT优化。 Zbl公司 1358.68264
塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
10
2012
从命题决策过程构建模态逻辑的决策过程:以模态逻辑(K(m)\)为例。 Zbl公司 1033.03509
朱西格里亚,福斯托;塞巴斯蒂安尼,罗伯托
10
2000
“更具确定性”与“更小”Bü高效LTL模型检验的chi自动机。 Zbl公司 1179.68095
塞巴斯蒂安尼,罗伯托;托内塔,斯特凡诺
8
2003
成本理论的可满足性:基础与应用。 Zbl公司 1284.68388
亚历山德罗·西马蒂;弗兰兹én、 安德斯;艾伯塔,格里戈;塞巴斯蒂安尼,罗伯托;斯蒂尼科,克里斯蒂安
7
2010
基于Horn-SAT编码和冲突分析的轻量级描述逻辑公理精确定位。 Zbl公司 1250.68246
塞巴斯蒂安尼,罗伯托;维斯科维,米歇尔
7
2009
SAT模理论中计算小不满足核的一种简单而灵活的方法。 Zbl公司 1214.68348
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
7
2007
阿瑟SAT:SAT和数学决策程序的紧密结合。 Zbl公司 1109.68101
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
7
2005
满意度测试的理论与应用——2012年SAT,第15届国际会议,意大利特伦托,2012年6月17日至20日,会议记录。 Zbl公司 1268.68009
西马蒂,亚历山德罗(编辑);塞巴斯蒂安尼,罗伯托(编辑)
6
2012
可满足模理论中小不可满足核的计算。 Zbl公司 1216.68241
西马蒂,A。;格里吉奥,A。;塞巴斯蒂安尼。
6
2011
基于延迟理论组合的有效可满足模理论。 Zbl公司 1081.68610
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
6
2005
线性合理成本的最优化模理论。 Zbl公司 1354.68233
塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
5
2015
MaxSAT模理论的模块化方法。 Zbl公司 1390.68572
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
5
2013
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1192.68627
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰森,安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2009
承认还是不承认?在SMT中有效地处理未解释的函数符号((\mathcal{EUF}\cup\mathcal{T})\)。 Zbl公司 1165.68482
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;圣图里,亚历山德罗;塞巴斯蒂安尼,罗伯托
5
2006
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1165.68483
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2006
Davis-Putnam程序在非子句公式中的应用。 Zbl公司 961.03014
朱西格里亚,恩里科;塞巴斯蒂安尼,罗伯托
5
2000
从命题决策过程构建模态逻辑的决策过程——以K模态为例。 Zbl公司 1415.03022
朱西格里亚,福斯托;塞巴斯蒂安尼,罗伯托
5
1996
将GSAT应用于非子句公式(研究报告)。 Zbl公司 900.68234
塞巴斯蒂安尼。
5
1994
用alesat和MaxSAT的初步解决方案。 Zbl公司 06821632
卞正兵;朱达克,费边;麦克雷迪,威廉;罗伊,艾登;塞巴斯蒂安尼,罗伯托;瓦洛蒂,斯特凡诺
4
2017
结构学习模块理论。 Zbl公司 1404.68121
泰索,斯特凡诺;塞巴斯蒂安尼,罗伯托;帕塞里尼,安德里亚
4
2017
UTVPI的插入式生成。 Zbl公司 1250.68186
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
4
2009
GSTE是分区模型检查。 Zbl公司 1103.68638
塞巴斯蒂安尼,罗伯托;伊莱·辛格曼;托内塔,斯特凡诺;瓦迪,莫斯伊。
4
2004
一种新的生成随机模态公式的通用方法。 Zbl公司 1056.68136
帕特尔施耐德,P。F。;塞巴斯蒂安尼。
4
2003
可满足模线性整数算法中的有效插值生成。 Zbl公司 1315.68179
格里吉奥,阿尔伯托;勒,这就是你的意思;塞巴斯蒂安尼,罗伯托
2011
基于SAT编码的模态逻辑和描述逻辑的自动推理:以\(K_mm/\mathcal{ALC})可满足性为例。 Zbl公司 1180.68257
塞巴斯蒂安尼。;维斯科维,M。
2009
集成基于BDD和SAT的符号模型检查。 Zbl公司 1057.68623
亚历山德罗·西马蒂;朱西格里亚,恩里科;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2002
情态逻辑的SAT与基于翻译的决策程序:比较评估。 Zbl公司 1033.03500
朱西格里亚,恩里科;朱西格里亚,福斯托;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2000
最佳卫星:优化模理论的工具。 Zbl公司 07176604
塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克
2
2020
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl公司 1407.68285
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
可满足模超越函数增量线性化。 Zbl公司 06778399
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2017
SMT的随机局部搜索:理论求解器与WalkSAT的结合。 Zbl公司 1348.68227
格里吉奥,阿尔伯托;潘,群生;塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
2
2011
改进了LTL模型检查到SAT的编码。 Zbl公司 1057.68056
亚历山德罗·西马蒂;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2002
颜色使理论难以理解。 Zbl公司 06623259
塞巴斯蒂安尼,罗伯托
1
2016
用线性模函数推包优化理论。 Zbl公司 1420.68197
塞巴斯蒂安尼。;特伦丁,P。
1
2015
通过SMT在\(\mathcal{ALCQ}\)中进行自动推理。 Zbl公司 1341.68226
哈斯列夫,沃尔克;塞巴斯蒂安尼,罗伯托;维斯科维,米歇尔
1
2011
GSTE是分区模型检查。 Zbl公司 1129.68044
塞巴斯蒂安尼,罗伯托;伊莱·辛格曼;托内塔,斯特凡诺;瓦迪,莫斯伊。
1
2007
用于抽象细化的属性驱动分区。 Zbl公司 1186.68301
塞巴斯蒂安尼,罗伯托;托内塔,斯特凡诺;瓦迪,莫斯伊。
1
2007
编码的RTL构造数学卫星:初步报告。 Zbl公司 1272.68230
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;汉娜,齐亚德;哈西达什维利,祖拉布;帕提,阿米特;塞巴斯蒂安尼,罗伯托
1
2006
在SAT求解器的基础上建立高效的决策程序。 Zbl公司 1182.68114
亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
1
2006
符号系统,显式性质:LTL符号模型检验的混合方法。 Zbl公司 1081.68634
塞巴斯蒂安尼,罗伯托;托内塔,斯特凡诺;瓦迪,莫斯伊。
1
2005
集成布尔和数学求解:基础,基本算法,和要求。 Zbl公司 1072.68603
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
1
2002
计算临界值。 Zbl公司 906.68138
邦迪,A。;朱西格里亚,F。;塞巴斯蒂安尼。;沃尔什,T。
1
1996
最佳卫星:优化模理论的工具。 Zbl公司 07176604
塞巴斯蒂安尼,罗伯托;特伦丁,帕特里克
2
2020
模非线性算法和超越函数的可满足性和验证的增量线性化。 Zbl公司 1407.68285
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈德·伊尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2018
用量子退火器求解SAT和MaxSAT:基础和初步报告。 Zbl公司 06821632
卞正兵;朱达克,费边;麦克雷迪,威廉;罗伊,艾登;塞巴斯蒂安尼,罗伯托;瓦洛蒂,斯特凡诺
4
2017
结构学习模块理论。 Zbl公司 1404.68121
泰索,斯特凡诺;塞巴斯蒂安尼,罗伯托;帕塞里尼,安德里亚
4
2017
可满足模超越函数增量线性化。 Zbl公司 06778399
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;艾哈迈尔凡;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2017
颜色使理论难以理解。 Zbl公司 06623259
塞巴斯蒂安尼,罗伯托
1
2016
线性合理成本的最优化模理论。 Zbl公司 1354.68233
塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
5
2015
用线性算术代价函数推动最优化模理论的发展。 Zbl公司 1420.68197
塞巴斯蒂安尼。;特伦丁,P。
1
2015
MathSAT5 SMT解算器。 Zbl公司 1381.68153
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
32
2013
MaxSAT模理论的模块化方法。 Zbl公司 1390.68572
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;Schaafsma,巴斯蒂安·乔斯特;塞巴斯蒂安尼,罗伯托
5
2013
具有\(\mathcal{LA}(\mathbb Q)\)代价函数的SMT优化。 Zbl公司 1358.68264
塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
10
2012
满意度测试的理论与应用——2012年SAT,第15届国际会议,意大利特伦托,2012年6月17日至20日,会议记录。 Zbl公司 1268.68009
西马蒂,亚历山德罗(编辑);塞巴斯蒂安尼,罗伯托(编辑)
6
2012
可满足模理论中小不可满足核的计算。 Zbl公司 1216.68241
西马蒂,A。;格里吉奥,A。;塞巴斯蒂安尼。
6
2011
可满足模线性整数算法中的有效插值生成。 Zbl公司 1315.68179
格里吉奥,阿尔伯托;勒,这就是你的意思;塞巴斯蒂安尼,罗伯托
2011
SMT的随机局部搜索:理论求解器与WalkSAT的结合。 Zbl公司 1348.68227
格里吉奥,阿尔伯托;潘,群生;塞巴斯蒂安尼,罗伯托;托马斯,西尔维亚
2
2011
通过SMT在\(\mathcal{ALCQ}\)中进行自动推理。 Zbl公司 1341.68226
哈斯列夫,沃尔克;塞巴斯蒂安尼,罗伯托;维斯科维,米歇尔
1
2011
可满足模理论中Craig插值的有效生成。 Zbl公司 1351.68247
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
14
2010
成本理论的可满足性:基础与应用。 Zbl公司 1284.68388
亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托;斯蒂尼科,克里斯蒂安
7
2010
基于Horn-SAT编码和冲突分析的轻量级描述逻辑公理精确定位。 Zbl公司 1250.68246
塞巴斯蒂安尼,罗伯托;维斯科维,米歇尔
7
2009
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1192.68627
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰森,安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2009
UTVPI的插入式生成。 Zbl公司 1250.68186
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
4
2009
基于SAT编码的模态逻辑和描述逻辑的自动推理:以\(K_mm/\mathcal{ALC})可满足性为例。 Zbl公司 1180.68257
塞巴斯蒂安尼。;维斯姆,科维。
2009
可满足模理论中的有效插值生成。 Zbl公司 1134.68402
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
16
2008
懒惰可满足模理论。 Zbl公司 1145.68501
塞巴斯蒂安尼,罗伯托
38
2007
SAT模理论中计算小不满足核的一种简单而灵活的方法。 Zbl公司 1214.68348
亚历山德罗·西马蒂;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
7
2007
GSTE是分区模型检查。 Zbl公司 1129.68044
塞巴斯蒂安尼,罗伯托;伊莱·辛格曼;托内塔,斯特凡诺;瓦迪,莫斯伊。
1
2007
用于抽象细化的属性驱动分区。 Zbl公司 1186.68301
塞巴斯蒂安尼,罗伯托;托内塔,斯特凡诺;瓦迪,莫斯伊。
1
2007
通过布尔搜索进行有效的理论组合。 Zbl公司 1137.68578
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
15
2006
承认还是不承认?在SMT中有效地处理未解释的函数符号((\mathcal{EUF}\cup\mathcal{T})\)。 Zbl公司 1165.68482
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;圣图里,亚历山德罗;塞巴斯蒂安尼,罗伯托
5
2006
延迟理论组合与Nelson Oppen对可满足模理论的比较分析。 Zbl公司 1165.68483
布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;格里吉奥,阿尔伯托;塞巴斯蒂安尼,罗伯托
5
2006
编码的RTL构造数学卫星:初步报告。 Zbl公司 1272.68230
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;弗兰兹én、 安德斯;汉娜,齐亚德;哈西达什维利,祖拉布;帕提,阿米特;塞巴斯蒂安尼,罗伯托
1
2006
在SAT求解器的基础上建立高效的决策程序。 Zbl公司 1182.68114
亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
1
2006
使用验证工业混合动力系统数学卫星. Zbl公司 1272.68220
奥德马尔,吉尔;波扎诺,马可;亚历山德罗·西马蒂;塞巴斯蒂安尼,罗伯托
14
2005
线性算术逻辑可满足性的增量分层过程。 Zbl公司 1087.68630
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
13
2005
阿瑟SAT:SAT和数学决策程序的紧密结合。 Zbl公司 1109.68101
波扎诺,马可;布鲁托梅索,罗伯托;亚历山大提;Junttila,汤米;范罗森,彼得;舒尔茨,斯蒂芬;塞巴斯蒂安尼,罗伯托
7
2005
基于延迟理论组合的有效可满足模理论。 Zbl公司 1081.68610
波扎诺,马可;布鲁托梅索,罗伯托;亚历山德罗·西马蒂;Junttila,汤米;拉妮丝,西尔维奥;范罗森,彼得;塞巴斯蒂安尼,罗伯托
6
2005
符号系统,显式性质:LTL符号模型检验的混合方法。 Zbl公司 1081.68634
塞巴斯蒂安尼,罗伯托;托内塔,斯特凡诺;瓦迪,莫斯伊。
1
2005
GSTE是分区模型检查。 Zbl公司 1103.68638
塞巴斯蒂安尼,罗伯托;伊莱·辛格曼;托内塔,斯特凡诺;瓦迪,莫斯伊。
4
2004
“更具确定性”与“更小”Bü高效LTL模型检验的chi自动机。 Zbl公司 1179.68095
塞巴斯蒂安尼,罗伯托;托内塔,斯特凡诺
8
2003
一种新的生成随机模态公式的通用方法。 Zbl公司 1056.68136
帕特尔施耐德,P。F。;塞巴斯蒂安尼。
4
2003
nusmv2:一个用于符号模型检查的开源工具。 Zbl公司 1010.68766
亚历山德罗·西马蒂;克拉克,埃德蒙;朱西格里亚,恩里科;朱西格里亚,福斯托;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
78
2002
基于SAT的布尔和线性数学命题公式求解方法。 Zbl公司 1072.68562
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
15
2002
定时系统的有界模型检验。 Zbl公司 1037.68549
奥德马尔,G。;西马蒂,A。;科尼洛维奇,A。;塞巴斯蒂安尼。
11
2002
集成基于BDD和SAT的符号模型检查。 Zbl公司 1057.68623
亚历山德罗·西马蒂;朱西格里亚,恩里科;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2002
改进了LTL模型检查到SAT的编码。 Zbl公司 1057.68056
亚历山德罗·西马蒂;皮斯托尔,马可;罗维里,马可;塞巴斯蒂安尼,罗伯托
2
2002
集成布尔和数学求解:基础,基本算法,和要求。 Zbl公司 1072.68603
奥德马尔,吉尔;贝尔托利,皮耶戈乔;亚历山德罗·西马蒂;科尔内ł奥维茨,阿图尔;塞巴斯蒂安尼,罗伯托
1
2002
从命题决策过程构建模态逻辑的决策过程:以模态逻辑(K(m)\)为例。 Zbl公司 1033.03509
福吉斯托,福吉斯托;塞巴斯蒂安尼,罗伯托
10
2000
Davis-Putnam程序在非子句公式中的应用。 Zbl公司 961.03014
朱西格里亚,恩里科;塞巴斯蒂安尼,罗伯托
5
2000
情态逻辑的SAT与基于翻译的决策程序:比较评估。 Zbl公司 1033.03500
朱西格里亚,恩里科;朱西格里亚,福斯托;塞巴斯蒂安尼,罗伯托;塔切拉,阿曼多
2000
从命题决策过程构建模态逻辑的决策过程——以K模态为例。 Zbl公司 1415.03022
朱西格里亚,福斯托;塞巴斯蒂安尼,罗伯托
5
1996
计算临界值。 Zbl公司 906.68138
邦迪,A。;朱西格里亚,F。;塞巴斯蒂安尼。;沃尔什,T。
1
1996
将GSAT应用于非子句公式(研究报告)。 Zbl公司 900.68234
塞巴斯蒂安尼。
5
1994
全部的 前5名

被610位作者引用

18 塞巴斯蒂安尼,罗伯托
15 亚历山德罗·西马蒂
8 克朗ö宁,丹尼尔
7 Á布拉赫ám、 埃里卡
7 格里吉奥,阿尔伯托
7 罗维里,马可
7 瓦迪,莫斯伊。
6 博纳奇娜,玛丽亚·保拉
6 布鲁托梅索,罗伯托
6 乔·席尔瓦侯爵ão P。
6 拉妮丝,西尔维奥
5 巴雷特,克拉克W。
5 方丹,帕斯卡
5 克莱默,格雷恩
5 斯特里奇曼,奥弗
5 蒂内利,塞萨尔
5 托内塔,斯特凡诺
5 维登巴赫,克里斯托夫
4 比尔,阿明
4 德穆拉,莱昂纳多
4 狄克逊,克莱尔
4 埃格斯,安德烈亚斯
4 法国änzle,马丁
4 席尔迪奥,吉尔迪
4 朱西格里亚,恩里科
4 朱西格里亚,福斯托
4 Hustadt,Ullrich
4 马拉茶,马可
4 体育课ñ阿洛扎,拉斐尔
4 Rü嗯,菲利普
答案ó特吉,卡洛斯
阿瑞斯,卡洛斯
贝克,伯纳德
波菲尔,米克尔
波扎诺,马可
布朗伯格,马丁
切奇,玛莎
库克,拜伦
Dé哈贝,大卫
加内什,维杰
阿丽·古芬克尔
Jobstmann,芭芭拉
美国农业部约翰逊
朱蒂拉,汤米A。
库普费希米德,斯特凡
李建文
利菲顿,马克H。
林道尔,马吕斯
曼奇尼,托尼
门奇ía、 卡洛斯
米其莉,安德烈
搬运工,塞吉奥
尼科里尼,恩里卡
尼尤文胡斯,罗伯特
奥利维拉斯,艾伯特
濮、葛光
舒帕,维克多
莎莉吉娜,娜塔莎
宋晓宇
泰格,蒂诺
维拉雷特,马修
张丽君
2 阿里夫,M。费雷德
2 阿曼多,亚历山德罗
2 巴德班,巴哈雷
2 伯萨尼,马塞罗·玛丽亚
2 你好,罗德里克
2 布莱恩,马丁
2 聪明,柯蒂斯
2 布里姆,卢波š
2 不,雷
2 卡多利,马可
2 塞特奇,罗迪卡
2 克拉克,埃德蒙·梅尔森俊。
2 科兹利乌斯,弗洛里安
2 查内基,克孜什托夫
2 达文波特,詹姆斯·哈罗德
2 贾科莫,朱塞佩
2 德奥利维拉,迭戈卡米尼亚B。
2 迪什,斯特凡
2 段振华
2 伊希尼姆,姆纳乔
2 埃勒斯,Rü挖掘机
2 英格兰,马修
2 乔治,玛丽安
2 歌尔,阿米特
2 顾,明
2 顾,明
2 何继峰
2 赫德,克里斯蒂安
2 霍斯,霍尔格H。
2 哈特,弗兰克
2 伊格纳蒂耶夫,亚历克赛A。
2 Iosif,拉杜
2 佛罗伦萨语
2 贾恩,希曼舒
2 Jä阿维萨洛,马蒂
2 约瓦诺维ć, 德扬
2 康诺夫,伊戈尔诉。
2 科努尔,萨瓦
…还有510个作者

按年份列出的引文