Dinur's proof of the PCP theorem

GPTKB entity