A Structural Approach to Reasoning with Quantified Boolean Formulas