Pages that link to "Item:Q5919426"
From MaRDI portal
The following pages link to Approximate proof-labeling schemes (Q5919426):
Displaying 14 items.
- Randomized proof-labeling schemes (Q2002054) (← links)
- Redundancy in distributed proofs (Q2025853) (← 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)
- Planarity can be verified by an approximate proof labeling scheme in constant-time (Q2154327) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Proof labeling schemes (Q2377139) (← links)
- Randomized proof-labeling schemes (Q2796267) (← links)
- Introduction to local certification (Q5024672) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
- A meta-theorem for distributed certification (Q6182681) (← 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)