Genuine Lower Bounds for QBF Expansion.

Olaf Beyersdorff, Joshua Blinkhorn

Browse the full STACS paper archive.