Hybrid Evaluation Procedures for QBF