Model-Based Transformations for Quantified Boolean Formulas door Uwe Bubeck