On the Complexity of Finding Narrow Proofs.

Christoph Berkholz

Browse the full FOCS paper archive.