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]
Abstract is missing.