×

Probabilistic checking of proofs: a new characterization of NP. (English) Zbl 0903.68076


MSC:

68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
PDF BibTeX XML Cite
Full Text: DOI Link