Non-FPT lower bounds for structural restrictions of decision DNNF
Non-FPT lower bounds for structural restrictions of decision DNNF
复制标题
决策 DNNF 的结构限制的非 FPT 下限
DOI：
10.48550/arxiv.1708.07767
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Cal
中科院分区：
文献类型：
--
作者：
Cal
登录
查看更多内容
了解 β-无环 CNF 公式的模型计数
DOI：
10.4230/lipics.stacs.2015.143
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
Johann Brault;Florent Capelli;S. Mengel
通讯作者：
S. Mengel
有界团宽度公式的模型计数
DOI：
--
发表时间：
2013
期刊：
International Symposium on Algorithms and Computation
影响因子：
--
作者：
Friedrich Slivovsky;Stefan Szeider
通讯作者：
Stefan Szeider
DOI：
--
发表时间：
2017
期刊：
Logic in Computer Science
影响因子：
--
作者：
Florent Capelli
通讯作者：
Florent Capelli
关于有界树宽 CNF 的 OBDD
DOI：
--
发表时间：
2013
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
Igor Razgon
通讯作者：
Igor Razgon
DOI：
--
发表时间：
2014
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
S. H. Sæther;J. A. Telle;M. Vatshelle
通讯作者：
M. Vatshelle