Building Strategies into QBF Proofs.

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan

Browse the full STACS paper archive.