ML Anthology

A Structural Approach to Reasoning with Quantified Boolean Formulas

Luca Pulina, Armando Tacchella
IJCAI 2009 pp. 596-602
/ijcai/2009/pulina2009ijcai-structural/

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

PDF Semantic Scholar

Cite

Text

Pulina and Tacchella. "A Structural Approach to Reasoning with Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Pulina and Tacchella. "A Structural Approach to Reasoning with Quantified Boolean Formulas." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/pulina2009ijcai-structural/)

BibTeX

@inproceedings{pulina2009ijcai-structural,
  title     = {{A Structural Approach to Reasoning with Quantified Boolean Formulas}},
  author    = {Pulina, Luca and Tacchella, Armando},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {596-602},
  url       = {https://mlanthology.org/ijcai/2009/pulina2009ijcai-structural/}
}