TY  - RPRT
TI  - On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems
AU  - Abhimanyu Choudhury
AU  - Meena Mahajan
PY  - 2025
UR  - https://arxiv.org/abs/2510.05876
ID  - 2510.05876
ER  -