2 search results - page 1 / 1 » Evaluating QBFs via Symbolic Skolemization |
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...
CADE
2005
Springer
14 years 5 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.