Competing Provers Yield Improved Karp-Lipton Collapse Results.

Jin-yi Cai, Venkatesan T. Chakaravarthy, Lane A. Hemaspaandra, Mitsunori Ogihara

Browse the full STACS paper archive.