Is it Easier to Prove Theorems that are Guaranteed to be True?

Rafael Pass, Muthuramakrishnan Venkitasubramaniam

Browse the full FOCS paper archive.