Transparent Long Proofs: A First PCP Theorem for NP

Klaus Meer

Browse the full ICALP paper archive.