Pages that link to "Item:Q2303292"
From MaRDI portal
The following pages link to On distributed Merlin-Arthur decision protocols (Q2303292):
Displaying 10 items.
- Deciding and verifying network properties locally with few output bits (Q1988527) (← links)
- Compact distributed certification of planar graphs (Q2037111) (← 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)
- Distributed Merkle's puzzles (Q2697863) (← links)
- (Q6065460) (← 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)
- Locally verifiable distributed SNARGs (Q6581783) (← links)