Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. Reasoning with Quantified Boolean Formulas. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 761-780, IOS Press, 2009. [doi]
@incollection{GiunchigliaMN09,
title = {Reasoning with Quantified Boolean Formulas},
author = {Enrico Giunchiglia and Paolo Marin and Massimo Narizzano},
year = {2009},
doi = {10.3233/978-1-58603-929-5-761},
url = {http://dx.doi.org/10.3233/978-1-58603-929-5-761},
researchr = {https://researchr.org/publication/GiunchigliaMN09},
cites = {0},
citedby = {0},
pages = {761-780},
booktitle = {Handbook of Satisfiability},
editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh},
volume = {185},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-929-5},
}