编辑配置文件(在新选项卡中打开) 马林,保罗 合著者距离 作者ID: 水手波洛 发布日期: 马林,保罗 编入索引的文档: 6出版物自1982年以来 合著者: 8位合著者具有4联合出版物 160位合作作者 全部的 前5名合著者 0 单作者的 2 贝恩德·贝克尔 2 恩里科Giunchilia 2 马西莫·纳里扎诺 1 威廉·科菲。 1 吕迪格·埃勒斯 1 加斯廷,J.L。 1 保罗·格里戈里尼 1 皮埃尔·拉德维泽 1 马修·刘易斯。 1 克里斯蒂安·米勒。 1 Jean-Pierre Pelle 1 卢卡·普利纳 1 阿曼多·塔切拉 系列 1 应用力学与工程中的计算机方法 1 AI通信 1 爱尔兰皇家学院学报。A部分,数学和物理科学 1 计算机基础理论 领域 4 计算机科学(68至XX) 2 数值分析(65-XX) 1 概率论与随机过程(60-XX) 1 可变形固体力学(74-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 6 弗洛里安·朗辛 6 马蒂娜·塞德尔 3 阿明·比尔 3 埃格利,乌韦 2 贝恩德·贝克尔 2 米科拉什·亚诺塔 2 Joáo P.塞尔瓦侯爵。 2 克里斯托夫·斯科尔 2 拉尔夫·维默(Ralf D.Wimmer)。 1 罗德里克·布洛姆 1 尼古拉斯·布劳德·桑托尼 1 克拉克(Edmund Melson jun Clarke)。 1 卡里娜·吉蒂娜 1 维达德·哈季奇 1 Heule,Marijn J.H。 1 曼纽尔·考尔斯 1 威廉·克利伯 1 孔和元 1 马丁·克罗内格 1 西比尔·莫勒 1 珍妮弗·尼斯特 1 安德烈亚斯·普范德勒 1 卢卡·普利纳 1 安吉特·舒克拉 1 宋博生 1 范·盖尔德,艾伦 全部的 前5名6篇连载文章中引用 3 人工智能 1 自动推理杂志 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 工程中的数学问题 1 可满足性、布尔建模与计算杂志 在2个字段中引用 14 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文