2 research outputs found
A Structural approach to reasoning with Quantified Boolean Formulas
In this paper we approach the problem of reasoning
with quantified Boolean formulas (QBFs) by
combining search and resolution, and by switching
between them according to structural properties
of QBFs. We provide empirical evidence that
QBFs which cannot be solved by search or resolution
alone, can be solved by combining them, and
that our approach makes a proof-of-concept implementation
competitive with current QBF solvers