Olaf Beyersdorff, Benjamin Böhm. Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution. In James R. Lee, editor, 12th Innovations in Theoretical Computer Science Conference, ITCS 2021, January 6-8, 2021, Virtual Conference. Volume 185 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.