Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas