Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs.

Olaf Beyersdorff, Benjamin Bhm, Meena Mahajan

Browse the full AAAI paper archive.