Languages that Are Easier than their Proofs

Richard Beigel, Mihir Bellare, Joan Feigenbaum, Shafi Goldwasser

Browse the full FOCS paper archive.