Probabilistic checking of proofs: a new characterization of NP
Arora, Sanjeev, Safra, ShmuelVolume:
45
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/273865.273901
Date:
January, 1998
File:
PDF, 347 KB
english, 1998