Proofs in Computer Science (Optional) · Probabilistically Checkable Proofs

Lesson 2

Nikolai Chukhin · Alexander S. Kulikov