부분 결과서지만 확인
Probabilistic checking of proofs: a new characterization of NPSanjeev Arora, Shmuel Safra · 1998Journal of the ACM 45(1), 70–122쪽 (1998) · 학회 발표 FOCS 1992 (33rd Annual Symposium on Foundations of Computer Science), 2–13쪽NP 를 「무작위로 일부만 들춰 보는 증명」으로 새로 규정해 PCP 정리의 앞 절반을 놓은 논문이다. almss-1998 이 이 결과를 고쳐 읽는 비트 수를 상수로 줄였으므로 두 편을 함께 본다. ACM 디지털 도서관으로 연결된다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Arora–Barak 공개 초고 18장으로 확인.