Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution Academic Article