×
作者ID: 佛罗伦萨卡佩利“卡佩利,佛罗伦萨”最近发表的zbMATH文章
发布日期: 佛罗伦萨卡佩利
编入索引的文档: 14出版物自2013年起,包括1个附加arXiv预打印
合著者: 16位合著者具有12联合出版物
302合作作者

按年份列出的出版物

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

按年份列出的引文