The following pages link to Randomized proof-labeling schemes (Q2002054):
Displaying 23 items.
- Randomized proofs in arithmetic (Q1807460) (← links)
- Redundancy in distributed proofs (Q2025853) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← links)
- A meta-theorem for distributed certification (Q2097341) (← links)
- Distributed interactive proofs for the recognition of some geometric intersection graph classes (Q2097349) (← links)
- Local certification of graphs with bounded genus (Q2104916) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Proof labeling schemes (Q2377139) (← links)
- Proof-labeling schemes: broadcast, unicast and in between (Q2672621) (← links)
- Randomized proof-labeling schemes (Q2796267) (← links)
- A Randomized Algorithm for BBCSPs in the Prover-Verifier Model (Q3525105) (← links)
- Introduction to local certification (Q5024672) (← links)
- Distributed Testing of Distance-k Colorings (Q5100965) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)
- (Q6065460) (← links)
- A meta-theorem for distributed certification (Q6182681) (← links)
- Error-sensitive proof-labeling schemes (Q6487487) (← links)
- Invited Paper: Reactive PLS for Distributed Decision (Q6487898) (← links)
- Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs (Q6488452) (← links)
- Twenty-two new approximate proof labeling schemes (Q6535018) (← links)
- Brief announcement: Distributed quantum proofs for replicated data (Q6535042) (← links)
- The hardness of local certification of finite-state dynamics (Q6547916) (← links)
- Locally verifiable distributed SNARGs (Q6581783) (← links)
