BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
character (4)
probabl (3)
error (3)
theorem (2)
new (2)

Stem pcp$ (all stems)

10 papers:

A PCP Characterization of AM (AD), pp. 581–592.
ICALPICALP-C-2008-KalaiR #interactive
Interactive PCP (YTK, RR), pp. 536–547.
STOCSTOC-2007-GuruswamiR #integer
A 3-query PCP over integers (VG, PR), pp. 198–206.
STOCSTOC-2006-Dinur #theorem
The PCP theorem by gap amplification (ID), pp. 241–250.
STOCSTOC-2004-HolmerinK #equation #linear #verification
A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (JH, SK), pp. 11–20.
ICALPICALP-2004-Meer #proving #theorem
Transparent Long Proofs: A First PCP Theorem for NPR (KM), pp. 959–970.
STOCSTOC-2003-DinurGKR #multi
A new multilayered PCP and the hardness of hypergraph vertex cover (ID, VG, SK, OR), pp. 595–601.
STOCSTOC-2000-SamorodnitskyT #complexity #query
A PCP characterization of NP with optimal amortized query complexity (AS, LT), pp. 191–199.
STOCSTOC-1999-DinurFKRS #towards
PCP Characterizations of NP: Towards a Polynomially-Small Error-Probability (ID, EF, GK, RR, SS), pp. 29–40.
A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP (RR, SS), pp. 475–484.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.