Probabilistic checking of proofs: a new characterization of NP (Q55869216)
scientific article published in J ACM in 1998
Language:
Current Data About Probabilistic checking of proofs: a new characterization of NP
(P31) (Q13442814)

(P50) (Q92664)
(P1545) 1
(P1932) Sanjeev Arora

(P304) 70-122

(P407) (Q1860)

(P433) 1

(P478) 45

(P577) Thursday, January 1, 1998

(P1433) (Q1709878)

(P1476) "Probabilistic checking of proofs: a new characterization of NP" (language: en)

(P2093) Shmuel Safra
(P1545) 2

(P2860) (Q56554907)

(Q89894956)

(P6104) (Q8487137)

other details
description scientific article published in J ACM in 1998

External Links
(P356) 10.1145/273865.273901
(P894) 0903.68076
(P8978) journals/jacm/AroraS98