Autarkies for DQCNF
Autarkies for DQCNF
复制标题
DQCNF 的自给自足
DOI：
10.23919/fmcad.2019.8894263
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Kullmann O
中科院分区：
文献类型：
--
作者：
Kullmann O
登录
查看更多内容
DQBF 的 Skolem 函数
DOI：
--
发表时间：
2016
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
K. Wimmer;Ralf Wimmer;Christoph Scholl;B. Becker
通讯作者：
B. Becker
满意度测试的理论与应用 – SAT 2016
DOI：
--
发表时间：
2016
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
Jo Devriendt;B. Bogaerts;M. Bruynooghe;M. Denecker
通讯作者：
M. Denecker
依赖性量化喇叭公式：模型和复杂性
DOI：
--
发表时间：
2006
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
Uwe Bubeck;H. K. Büning
通讯作者：
H. K. Büning
DQBF 的预处理
DOI：
--
发表时间：
2015
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
Ralf Wimmer;Karina Gitina;Jennifer Nist;Christopher H. Scholl;Bernd Becker
通讯作者：
Bernd Becker
量化布尔霍恩公式的布尔模型
DOI：
--
发表时间：
2003
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
H. K. Büning;K. Subramani;Xishun Zhao
通讯作者：
Xishun Zhao