Optimal Proof Systems for Complex Sets Are Hard to Find.

Fabian Egidy, Christian Glaer

Browse the full STOC paper archive.