Solving DQBF through quantifier elimination
Solving DQBF through quantifier elimination
复制标题
通过量词消除求解 DQBF
DOI：
10.7873/date.2015.0098
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
B. Becker
中科院分区：
文献类型：
--
作者：
K. Gitina;R. Wimmer;S. Reimer;M. Sauer;C. Scholl;B. Becker
登录
查看更多内容
sQueezeBF：基于等价推理的 QBF 有效预处理器
DOI：
--
发表时间：
2010
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
E. Giunchiglia;Paolo Marin;Massimo Narizzano
通讯作者：
Massimo Narizzano
基于 AIG、BDD 扫描和量词调度的高级无界模型检查
DOI：
--
发表时间：
2006
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Florian Pigorsch;Christoph Scholl;Stefan Disch
通讯作者：
Stefan Disch
利用满意度分析的线程并行集成测试模式生成器
DOI：
--
发表时间：
2009
期刊：
International Conference on VLSI Design
影响因子：
--
作者：
A. Czutro;I. Polian;Matthew D. T. Lewis;P. Engelke;S. Reddy;B. Becker
通讯作者：
B. Becker
DepQBF：具有依赖性的 QBF 求解器
DOI：
--
发表时间：
2010
期刊：
Journal on Satisfiability, Boolean Modeling and Computation
影响因子：
--
作者：
Florian Lonsing;Armin Biere
通讯作者：
Armin Biere
关于二进制编码位宽的固定大小位向量逻辑的复杂性
影响因子：
3.6
作者：
Gergely Kovásznai;Andreas Fröhlich;Armin Biere
通讯作者：
Armin Biere