Model-Based Transformations for Quantified Boolean Formulas by Uwe Bubeck