Document Zbl 0903.68076

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

J. ACM 45, No. 1, 70-122 (1998).

68Q15

Complexity classes (hierarchies, relations among complexity classes, etc.)

PDF BibTeX XML Cite

Full Text: DOI Link

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)