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.
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.
I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore
Repository Staff Only: item control page