Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Logical Methods in Computer Science, 2023)