Proof Complexity of Resolution-based QBF Calculi.

Olaf Beyersdorff, Leroy Chew, Mikols Janota

Browse the full STACS paper archive.