A Structural approach to reasoning with Quantified Boolean Formulas

Pulina, Luca and Tacchella, Armando (2009) A Structural approach to reasoning with Quantified Boolean Formulas. In: IJCAI 2009: 21st International Joint Conference on Artificial Intelligence, 11-17 July 2009, Pasadena (CA), USA. San Francisco, CA, Morgan Kaufmann. p. 596-602. ISBN 978-1-57735-426-0. Conference or Workshop Item.

Full text not available from this repository.

Alternative URLs:

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.

Item Type:	Conference or Workshop Item (Contribute)
ID Code:	7221
Status:	Published
Uncontrolled Keywords:	Quantified Boolean formulas (QBFs), QBF solvers, structural approach
Divisions:	001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Publisher:	Morgan Kaufmann
ISBN:	978-1-57735-426-0
Deposited On:	14 Mar 2012 14:03

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page