Original Kurzfassung: Quantified Boolean formulas (QBF) provide a powerful framework for encoding problems from various application domains  not least because efficient QBF solvers are available Despite sophisticated evaluation techniques  the performance of such a solver usually depends on the way a problem is represented