A structural approach to reasoning with quantified Boolean formulas
Luca Pulina, Armando Tacchella · 2009
In this paper we approach the problem of reasoning with quantified Boolean formulas (QBFs) by combining search and resolution, and by switching be-tween them according to structural properties of QBFs. We provide empiri-cal 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. 1