2 search results - page 1 / 1 » Evaluating QBFs via Symbolic Skolemization |
LPAR
2004
Springer
14 years 11 days 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...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.