---
title: "A Structural Approach to Reasoning with Quantified Boolean Formulas"
authors:
  - "Luca Pulina"
  - "Armando Tacchella"
doi: ""
url: "https://ijcai.org/proceedings/2009/105"
pdf: "https://ijcai.org/proceedings/2009/0105.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "596-601"
track: ""
keywords:
---

# A Structural Approach to Reasoning with Quantified Boolean Formulas

Luca Pulina, Armando Tacchella

*Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence*, pages 596-601.

## Abstract

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.Luca Pulina, Armando Tacchella