Pages that link to "Item:Q483706"
From MaRDI portal
The following pages link to Combinatorial PCPs with efficient verifiers (Q483706):
Displaying 8 items.
- Combinatorial PCPs with short proofs (Q260390) (← links)
- Combinatorial PCPs with efficient verifiers (Q483706) (← links)
- A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (Q3580955) (← links)
- (Q5090443) (← links)
- Abstract Combinatorial Programs and Efficient Property Testers (Q5317165) (← links)
- On the Complexity of Verifying Regular Properties on Flat Counter Systems, (Q5327431) (← links)
- Erasures versus errors in local decoding and property testing (Q6074671) (← links)
- Zero-knowledge IOPs approaching witness length (Q6660294) (← links)