Recent Advances in Probabilistically Checkable Proofs
Colloquium Speaker: Dor Minzer (MIT) Title: Recent Advances in Probabilistically Checkable Proofs Abstract: The PCP Theorem is a cornerstone of computer science, with applications to hardness of approximation, verification, interactive protocols […]