Hans Kleine Büning, Uwe Bubeck. Theory of Quantified Boolean Formulas. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 1131-1156, IOS Press, 2021. [doi]
@incollection{BuningB21,
title = {Theory of Quantified Boolean Formulas},
author = {Hans Kleine Büning and Uwe Bubeck},
year = {2021},
doi = {10.3233/FAIA201013},
url = {https://doi.org/10.3233/FAIA201013},
researchr = {https://researchr.org/publication/BuningB21},
cites = {0},
citedby = {0},
pages = {1131-1156},
booktitle = {Handbook of Satisfiability - Second Edition},
editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh},
volume = {336},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-64368-161-0},
}