编辑配置文件（在新选项卡中打开） 卢卡·普利纳 合著者距离 作者ID： 普里纳卢卡 发布日期： 卢卡·普利纳 外部链接： ORCID公司 已编制索引的文档： 20出版物自2006年起 2作为编辑的贡献 合著者： 21位合著者具有22联合出版物 453合著作者 全部的 前5名合著者 0 单作者的 12 阿曼多·塔切拉 5 马可·马拉提亚 4 弗朗西斯科·里卡 4 马蒂娜·塞德尔 三 马西莫·纳里扎诺 2 恩里科·金西格里亚 2 克劳迪娅·佩希埃拉 1 乔瓦尼·阿蒙多拉 1 奥拉夫·拜尔斯多夫 1 尼古拉·S·比约纳。 1 布贝克，乌韦 1 卡明·多达罗 1 沃尔夫冈·法伯 1 斯维亚托斯拉夫·科尔涅夫 1 奥利弗·库尔曼 1 林奇，因斯 1 马林，保罗 1 尼娜·纳罗季斯卡 1 沙申克·巴萨克 1 穆利·萨吉夫 1 安吉特·舒克拉 全部的 前5名系列 4 人工智能通信 2 约束条件 2 计算机基础理论 2 可满足性、布尔建模与计算杂志 1 人工智能 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 字段 22 计算机科学（68至XX） 2 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用79中的次65文件 引用人▼ 年份▼ 量化布尔公式的自适应多引擎求解器。 Zbl 1183.68589号 卢卡·普利纳;塔切拉，阿曼多 19 2009 2016年和2017年QBF解决方案评估（QBFEVAL’16和QBFEVEL’17）。 Zbl 1478.68332号 卢卡·普利纳;马蒂娜·塞德尔 11 2019 第三次QBF解决方案评估报告。 Zbl 1116.68089号 马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉 9 2006 评估和认证QBF：最先进工具的比较。 Zbl 1186.68440号 马西莫·纳里扎诺;克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉 8 2009 QBF编码的实证研究：从树宽估计到有用的预处理。 Zbl 1214.68370号 卢卡·普利纳;阿曼多·塔切拉 7 2010 第七次QBF解算器评估（QBFEVAL'10）。 Zbl 1306.68173号 克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉;乌韦·布贝克;奥利弗·库尔曼;林奇，因斯 6 2010 ASP的多级算法选择。 Zbl 1467.68027号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 4 2015 挑战SMT求解器验证神经网络。 兹比尔1248.68462 卢卡·普利纳;阿曼多·塔切拉 三 2012 十二年的QBF评估：QSAT是PSPACE-困难的，它表明了这一点。 Zbl 1373.68380号 马林，保罗;马西莫·纳里扎诺;卢卡·普利纳;塔切拉，阿曼多;恩里科·金西格里亚 2 2016 亚相干答案集计算的算法选择。 Zbl 1525.68148号 乔瓦尼·阿蒙多拉;卡明·多达罗;沃尔夫冈·法伯;卢卡·普利纳;弗朗西斯科·里卡 2 2019 树宽：量化布尔逻辑编码中经验硬度的有用标记。 Zbl 1182.68263号 卢卡·普利纳;阿曼多·塔切拉 2 2008 多引擎ASP解决与策略调整。 Zbl 1328.68042号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 1 2015 使用带有决策程序的二值化神经网络生成约束图像。 Zbl 1511.68297号 斯维亚托斯拉夫·科尔涅夫;尼娜·纳罗季斯卡;卢卡·普利纳;阿曼多·塔切拉;尼古拉·比约纳;穆利·萨吉夫 1 2018 从未：人工神经网络验证工具。 Zbl 1251.68143号 卢卡·普利纳;阿曼多·塔切拉 1 2011 学习在量化布尔公式的推理中集成演绎和搜索。 Zbl 1193.68214号 卢卡·普利纳;阿曼多·塔切拉 1 2009 使用最大可满足性解决带有偏好的析取时态问题。 Zbl 1248.68459号 马可·马拉提亚;卢卡·普利纳 1 2012 QBFFam：从证明复杂性生成QBF族的工具。 Zbl 07495563号 奥拉夫·拜尔斯多夫;卢卡·普利纳;马蒂娜·塞德尔;安吉特·舒克拉 1 2021 QBFFam：从证明复杂性生成QBF族的工具。 Zbl 07495563号 奥拉夫·拜尔斯多夫;卢卡·普利纳;马蒂娜·塞德尔;安吉特·舒克拉 1 2021 2016年和2017年QBF解算器评估（QBFEVAL'16和QBFEVAL'17）。 Zbl 1478.68332号 卢卡·普利纳;马蒂娜·塞德尔 11 2019 亚相干答案集计算的算法选择。 Zbl 1525.68148号 乔瓦尼·阿蒙多拉;卡明·多达罗;沃尔夫冈·法伯;卢卡·普利纳;弗朗西斯科·里卡 2 2019 使用带有决策程序的二值化神经网络生成约束图像。 Zbl 1511.68297号 斯维亚托斯拉夫·科尔涅夫;尼娜·纳罗季斯卡;卢卡·普利纳;阿曼多·塔切拉;尼古拉·比约纳;穆利·萨吉夫 1 2018 十二年的QBF评估：QSAT是PSPACE硬的，它表明了这一点。 Zbl 1373.68380号 马林，保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科·金西格里亚 2 2016 ASP的多级算法选择。 Zbl 1467.68027号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 4 2015 多引擎ASP解决与策略调整。 Zbl 1328.68042号 马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 1 2015 挑战SMT求解器验证神经网络。 Zbl 1248.68462号 卢卡·普利纳;阿曼多·塔切拉 三 2012 使用最大可满足性解决带有偏好的析取时态问题。 Zbl 1248.68459号 马可·马拉提亚;卢卡·普利纳 1 2012 从未：人工神经网络验证工具。 Zbl 1251.68143号 卢卡·普利纳;阿曼多·塔切拉 1 2011 QBF编码的实证研究：从树宽估计到有用的预处理。 Zbl 1214.68370号 卢卡·普利纳;阿曼多·塔切拉 7 2010 第七次QBF解算器评估（QBFEVAL'10）。 Zbl 1306.68173号 克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉;乌韦·布贝克;奥利弗·库尔曼;林奇，因斯 6 2010 量化布尔公式的自适应多引擎求解器。 Zbl 1183.68589号 卢卡·普利纳;阿曼多·塔切拉 19 2009 评估和认证QBF：最先进工具的比较。 Zbl 1186.68440号 纳里扎诺，马西莫;克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉 8 2009 学习在量化布尔公式的推理中集成演绎和搜索。 Zbl 1193.68214号 卢卡·普利纳;阿曼多·塔切拉 1 2009 树宽：量化布尔逻辑编码中经验硬度的有用标记。 Zbl 1182.68263号 卢卡·普利纳;阿曼多·塔切拉 2 2008 第三次QBF解决方案评估报告。 Zbl 1116.68089号 马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉 9 2006 所有引用出版物 前5名被引用出版物 全部的 前5名141位作者引用 8 塞德尔，玛蒂娜 7 奥拉夫·拜尔斯多夫 6 卢卡·普利纳 4 弗朗西斯科·里卡 三 阿明·比尔 三 乔舒亚·布林霍恩 三 本杰明·伯姆 三 马可·马拉提亚 三 阿曼多·塔切拉 三 斯特凡·沃尔特兰 2 罗伯托·阿马迪尼 2 乔瓦尼·阿蒙多拉 2 陈广科 2 陈、陶璐 2 毛里齐奥·加布里埃利 2 马丁·格布瑟 2 Heule，Marijn J.H。 2 霍尔格·H·胡斯。 2 马吕斯·林道尔 2 弗洛里安·朗辛 2 雅各布·毛罗 2 安吉特·舒克拉 2 弗里德里希·斯利沃夫斯基 2 宋，傅 2 张业迪 2 赵哲 1 马蒂亚斯·阿尔霍夫 1 瓦莱里·巴拉巴诺夫 1 克拉克·W·巴雷特。 1 菲利普·贝斯纳德 1 伯恩德·比施尔 1 乔里·博曼森 1 Randal E.布莱恩特。 1 詹皮埃罗·卡波迪 1 弗朗西斯科·卡利默里 1 Marie-Liesse Cauwet 1 陈，胡比 1 洛伦佐·克莱门特 1 维克托·达尔摩 1 吉尔勒莫德尔加多·马丁内斯 1 尤利娅·德米扬诺娃 1 大卫·L·迪尔。 1 卡明·多达罗 1 伊恩·邓宁 1 埃格利，乌韦 1 爱德华·艾本 1 帕夫洛斯·艾里纳基斯 1 费希特，约翰内斯·克劳斯 1 亚历山大·弗雷谢特 1 戴维·福斯卡 1 Dov M.加巴伊。 1 罗伯特·加尼安 1 盖尔方德，迈克尔 1 米尔科·贾科布 1 恩里科·金西格里亚 1 斯瓦提古普塔 1 西蒙·海辛格 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 卢克·欣德 1 巴德省霍克萨 1 安东尼·亨特 1 弗兰克·哈特 1 Tomi Janhunen 1 Janičić，普雷德拉格 1 米科拉什·亚诺塔 1 蒋洁红·罗兰 1 苏拉吉·约格 1 泰勒·T·约翰逊。 1 凯尔·D·朱利安。 1 托尼·尤西拉 1 罗兰·卡明斯基 1 凯兹，盖伊 1 曼纽尔·考尔斯 1 帕斯卡·科尔斯克 1 Mykel J.Kochenderfer。 1 孔和元 1 罗马人孔查科夫 1 拉尔斯·科特霍夫 1 佐尔坦科瓦奇 1 多米尼克·克雷斯 1 马丁·克罗内格 1 拉马纳·库马尔 1 Kunčar，安大略省 1 Marta Z.Kwiatkowska。 1 托拜厄斯·拉德纳 1 马蒂亚斯·莱切纳 1 凯文·莱顿·布朗 1 刘嘉林 1 刘嘉祥 1 米纳·马哈扬 1 尤里·马利茨基 1 西尔维乌·马尼乌 1 丹尼尔·曼里克 1 韦斯纳·马林科维奇 1 Joáo P.塞尔瓦侯爵。 1 理查德·梅尔（Richard M.Mayr）。 1 斯特凡·门格尔 1 西比尔·莫勒 1 米勒（David I。 1 马库斯·穆勒。 …还有41位作者 全部的 前5名16篇连载文章中引用 7 人工智能 6 逻辑程序设计理论与实践 5 数学与人工智能年鉴 4 系统设计中的形式化方法 4 约束条件 三 计算机科学中的逻辑方法 2 自动推理杂志 1 信息处理信件 1 SIAM计算机杂志 1 Studia Logica公司 1 全球优化杂志 1 欧洲运筹学杂志 1 信息计算杂志 1 工程中的数学问题 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 全部的 前5名在8个字段中引用 61 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 4 运筹学、数学编程（90-XX） 2 系统论；控制（93至XX） 1 特殊功能（33至XX） 1 几何图形（51至XX） 1 统计学（62-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文