The following pages link to Sound 3-Query PCPPs Are Long (Q5892181):
Displaying 6 items.
- Combinatorial PCPs with short proofs (Q260390) (← links)
- Succinct non-interactive arguments via linear interactive proofs (Q2136170) (← links)
- TESTING FOR FORBIDDEN POSETS IN ORDERED ROOTED FORESTS (Q4923287) (← links)
- Relaxed Locally Correctable Codes (Q4993290) (← links)
- (Q5857610) (← links)
- A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification (Q6139835) (← links)