2 search results - page 1 / 1 » Resolution Proofs and Skolem Functions in QBF Evaluation and... |
CAV
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
LPAR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...