Dependency schemes in CDCL-based QBF solving: a proof-theoretic study. - Abhimanyu Choudhury; Meena Mahajan (Electron. Colloquium Comput. Complex., 2023)