编辑配置文件(在新选项卡中打开) 佛罗伦萨卡佩利 合著者距离 作者ID: 佛罗伦萨卡佩利 发布日期: 佛罗伦萨卡佩利 编入索引的文档: 14出版物自2013年起,包括1个附加arXiv预打印 合著者: 16位合著者具有12联合出版物 302合作作者 全部的 前5名合著者 2 单作者的 6 斯特凡·门格尔 3 阿诺·杜兰德 2 扬恩·斯特罗泽基 1 安托万·阿马里利 1 本杰明·贝尔古诺 1 西蒙·波娃 1 约翰·布劳特·巴伦 1 尼古拉·克罗塞蒂 1 阿尔贝托·德尔皮亚 1 西尔维亚·迪格雷戈里奥 1 马马杜·穆斯塔法·坎特 1 米卡·莫内 1 约阿希姆·尼伦 1 简·拉蒙 1 皮埃尔·塞内拉特 1 弗里德里希·斯利沃夫斯基 系列 2 离散应用数学 2 计算系统理论 1 计算机与系统科学杂志 1 计算机科学中的逻辑方法 领域 12 计算机科学(68至XX) 5 组合数学(05-XX) 3 数学逻辑和基础(03-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用32中的次26文件 引用人▼ 年份▼ 了解\(\β\)-非循环CNF公式的模型计数。 Zbl 1355.68112号 约翰·布劳特·巴伦;佛罗伦萨卡佩利;斯特凡·门格尔 15 2015 关于将CNF编译为结构化确定性DNNF。 兹比尔1471.68239 西蒙·波娃;佛罗伦萨卡佩利;斯特凡·门格尔;弗里德里希·斯利沃夫斯基 4 2015 增量延迟枚举:空间和时间。 Zbl 1419.05014号 佛罗伦萨卡佩利;扬恩·斯特罗泽基 3 2019 张量压缩的算法复杂性。 Zbl 1354.68093号 佛罗伦萨卡佩利;阿诺·杜兰德;斯特凡·门格尔 3 2013 通过知识汇编可追踪的QBF。 Zbl 07559127号 佛罗伦萨卡佩利;斯特凡·门格尔 2 2019 计算\(β\)-无圈超图的最小横截。 Zbl 1414.05022号 本杰明·贝尔古诺;佛罗伦萨卡佩利;马马杜·穆斯塔法·坎特 1 2019 连接知识编译类和宽度参数。(连接知识编译类宽度参数。) Zbl 1446.68149号 安托万·阿马里利;佛罗伦萨卡佩利;米卡·莫内;皮埃尔·塞内拉特 1 2020 张量收缩的算法复杂性。 Zbl 1339.68097号 佛罗伦萨卡佩利;阿诺·杜兰德;斯特凡·门格尔 1 2016 超图无环性与命题模型计数。 兹比尔1423.68206 佛罗伦萨卡佩利;阿诺·杜兰德;斯特凡·门格尔 1 2014 使用知识汇编了解#SAT的复杂性。 Zbl 1458.68136号 佛罗伦萨卡佩利 1 2017 连接知识编译类和宽度参数。(连接知识编译类宽度参数。) Zbl 1446.68149号 安托万·阿马里利;佛罗伦萨卡佩利;米卡·莫内;皮埃尔·塞内拉特 1 2020 增量延迟枚举:空间和时间。 Zbl 1419.05014号 佛罗伦萨卡佩利;扬恩·斯特罗泽基 3 2019 通过知识汇编可追踪的QBF。 Zbl 07559127号 佛罗伦萨卡佩利;斯特凡·门格尔 2 2019 计算\(β\)-无圈超图的最小横截。 Zbl 1414.05022号 本杰明·贝尔古诺;佛罗伦萨卡佩利;马马杜·穆斯塔法·坎特 1 2019 使用知识汇编了解#SAT的复杂性。 Zbl 1458.68136号 佛罗伦萨卡佩利 1 2017 张量收缩的算法复杂性。 兹比尔1339.68097 佛罗伦萨卡佩利;阿诺·杜兰德;斯特凡·门格尔 1 2016 了解\(\β\)-非循环CNF公式的模型计数。 Zbl 1355.68112号 约翰·布劳特·巴伦;佛罗伦萨卡佩利;斯特凡·门格尔 15 2015 关于将CNF编译为结构化确定性DNNF。 Zbl 1471.68239号 西蒙·波娃;佛罗伦萨卡佩利;斯特凡·门格尔;弗里德里希·斯利沃夫斯基 4 2015 超图无环性与命题模型计数。 Zbl 1423.68206号 佛罗伦萨卡佩利;阿诺·杜兰德;斯特凡·门格尔 1 2014 张量压缩的算法复杂性。 Zbl 1354.68093号 佛罗伦萨卡佩利;阿诺·杜兰德;斯特凡·门格尔 3 2013 所有引用出版物 前5名被引用出版物 全部的 前5名46位作者引用 5 尼克·布雷特尔 5 斯特凡·门格尔 5 丹尼尔·保卢斯马 4 佛罗伦萨卡佩利 4 安德烈亚·穆纳罗 4 弗里德里希·斯利沃夫斯基 3 西蒙·波娃 3 米纳·马哈扬 3 贾科莫·佩萨尼 2 托马斯·巴西乌斯 2 佛罗里达州博诺莫-布拉伯曼 2 托拜厄斯·弗里德里希 2 杰克·霍斯菲尔德 2 尼廷·索拉布 2 马丁·施奈克 1 安托万·阿马里利 1 澳大利亚,Per 1 本杰明·贝尔古诺 1 Bodlaender,Hans L。 1 安德烈·布拉托夫(Andrei A.Bulatov)。 1 诺法尔·卡梅利 1 亚历克西斯·德·科尔内 1 约翰·克劳斯·费希特 1 罗伯特·加尼安 1 马库斯·赫彻 1 马修·约翰逊 1 康东叶 1 马马杜·穆斯塔法·坎特 1 佩特里·卡斯基 1 金恩贞(Kim,Eun Jung) 1 马库斯·克雷尔 1 Kaie Kubjas 1 Ojoung Kwon 1 马蒂亚斯·兰辛格 1 朱利叶斯·里舍伊德 1 米克斯,基蒂 1 米卡埃尔,莫奈 1 迈克尔·莫拉克 1 皮埃尔·塞内拉特 1 斯特罗姆,托尔斯坦J.F。 1 斯泽德,斯特凡 1 简·阿恩·特勒 1 帕特里克·蒂尔 1 Van Leeuwen、Erik Jan 1 斯特凡·沃尔特兰 1 斯坦尼斯拉夫·伊文 全部的 前5名7篇连载文章中引用 4 理论计算机科学 4 计算系统理论 3 计算机与系统科学杂志 2 人工智能研究杂志 1 人工智能 1 离散应用数学 1 图论杂志 在5个字段中引用 23 计算机科学(68至XX) 6 组合数学(05-XX) 3 数学逻辑和基础(03-XX) 2 交换代数(13-XX) 1 一般代数系统(08-XX) 按年份列出的引文