A Structural Approach to Reasoning with Quantified Boolean Formulas

Pulina, Luca; Tacchella, Armando

A Structural Approach to Reasoning with Quantified Boolean Formulas

Download BibTeX Cite

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

Luca Pulina, and Armando Tacchella. 2009. A Structural Approach to Reasoning with Quantified Boolean Formulas. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 596–601. https://ijcai.org/proceedings/2009/105

@inproceedings{ijcai2009p105,
  title     = {A Structural Approach to Reasoning with Quantified Boolean Formulas},
  author    = {Pulina, Luca and Tacchella, Armando},
  booktitle = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {596--601},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/105},
}

TY  - CPAPER
TI  - A Structural Approach to Reasoning with Quantified Boolean Formulas
AU  - Pulina, Luca
AU  - Tacchella, Armando
T2  - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2009
SP  - 596
EP  - 601
UR  - https://ijcai.org/proceedings/2009/105
ER  -