Classes of Hard Formulas for QBF Resolution Academic Article