×
作者ID: 水手波洛“Marin,Paolo”最近发表的zbMATH文章
发布日期: 马林,保罗
编入索引的文档: 6出版物自1982年以来
合著者: 8位合著者具有4联合出版物
160位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

5出版物有被引用17中的次14文件 引用人 年份
近似不可压缩材料有限元计算中的精度和最佳网格。 兹比尔07427.3021
拉德夫兹,P。;马林,P。;佩尔,J.P。;加斯廷,J.L。
24
1992
sQueezeBF:基于等价推理的有效QBF预处理器。 Zbl 1306.68157号
恩里科Giunchilia;马林,保罗;马西莫·纳里扎诺
12
2010
使用增量QBF验证部分设计。 Zbl 1373.68382号
克里斯蒂安·米勒;马林,保罗;贝恩德·贝克尔
2
2015
十二年的QBF评估:QSAT是PSPACE-困难的,它表明了这一点。 Zbl 1373.68380号
马林,保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科Giunchilia
2
2016
通过计算学习求解ALLQBF。 Zbl 1374.68487号
贝恩德·贝克尔;吕迪格·埃勒斯;马修·刘易斯;马林,保罗
1
2012
十二年的QBF评估:QSAT是PSPACE硬的,它表明了这一点。 Zbl 1373.68380号
马林,保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科Giunchilia
2
2016
使用增量QBF验证部分设计。 Zbl 1373.68382号
克里斯蒂安·米勒;马林,保罗;贝恩德·贝克尔
2
2015
通过计算学习求解ALLQBF。 Zbl 1374.68487号
贝恩德·贝克尔;吕迪格·埃勒斯;马修·刘易斯;马林,保罗
1
2012
sQueezeBF:基于等价推理的有效QBF预处理器。 Zbl 1306.68157号
恩里科Giunchilia;马林,保罗;马西莫·纳里扎诺
12
2010
近似不可压缩材料有限元计算中的精度和最佳网格。 Zbl 0742.73021号
拉德夫兹,P。;马林,P。;佩尔,J.P。;加斯廷,J.L。
24
1992

按年份列出的引文