Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution.

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan

Browse the full LICS paper archive.