Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SAT
2004
Springer
109views Hardware» more  SAT 2004»
10 years 6 months ago
Resolve and Expand
We present a novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF). The basic idea is to resolve existentially quantifie...
Armin Biere
SAT
2004
Springer
94views Hardware» more  SAT 2004»
10 years 6 months ago
QBF Reasoning on Real-World Instances
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
books