Quantified Boolean Formulas: Call the Plumber! - Josef Lindsberger; Alexander Maringele; Georg Moser (LPAR, 2017)