Olaf Beyersdorff, Mikolás Janota, Florian Lonsing, Martina Seidl. 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 1177-1221, IOS Press, 2021. [doi]
@incollection{BeyersdorffJLS21, title = {Quantified Boolean Formulas}, author = {Olaf Beyersdorff and Mikolás Janota and Florian Lonsing and Martina Seidl}, year = {2021}, doi = {10.3233/FAIA201015}, url = {https://doi.org/10.3233/FAIA201015}, researchr = {https://researchr.org/publication/BeyersdorffJLS21}, cites = {0}, citedby = {0}, pages = {1177-1221}, 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}, }