Decreasing verification radius in local certification
From MaRDI portal
Cites work
- A meta-theorem for distributed certification
- Brief announcement: Local advice and local decompression
- Distributed Computing: A Locality-Sensitive Approach
- Distributed verification of minimum spanning trees
- scientific article; zbMATH DE number 7832762 (Why is no real title available?)
- Introduction to Distributed Self-Stabilizing Algorithms
- Introduction to local certification
- Local certification of local properties: tight bounds, trade-offs and new parameters
- Locally checkable proofs in distributed computing
- Proof labeling schemes
- Redundancy in distributed proofs
- Self-stabilization
- Space-time tradeoffs for distributed verification
- Towards a complexity theory for local distributed computing
- What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs
This page was built for publication: Decreasing verification radius in local certification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6903535)