Period
2008 - 2008
Number
1
Co-Authors
[4] S. Arora and S. Safra. Probabilistic Checkable Proofs: A New Characterization of NP. JACM, (2008)
S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof Verification, ...
traversal sequences, and the complexity of maze problems. In 20th FOCS, pages 218-223, 1979.