{"type":"ScholarlyArticle","title":"A Structural Approach to Reasoning with Quantified Boolean Formulas","authors":[{"name":"Luca Pulina","slug":"luca-pulina","given":"Luca","family":"Pulina","affiliation":""},{"name":"Armando Tacchella","slug":"armando-tacchella","given":"Armando","family":"Tacchella","affiliation":""}],"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","doi":null,"url":"https://ijcai.org/proceedings/2009/105","pdf":"https://ijcai.org/proceedings/2009/0105.pdf","markdown":"https://ijcai.org/proceedings/2009/105.md","bibtex":"https://ijcai.org/proceedings/2009/bibtex/105","volume":{"slug":"2009","title":"Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2009","url":"https://ijcai.org/proceedings/2009/","year":2009,"location":"Pasadena, California, USA","dates":"","editors":"Hiroaki Kitano","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":105,"pages":{"first":596,"last":601},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}