On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems

Abhimanyu Choudhury, Meena Mahajan

Quantified Conflict Driven Clause Leaning (QCDCL) is one of the main approaches to solving Quantified Boolean Formulas (QBF). Cube-learning is employed in this approach to ensure t…