Pages that link to "Item:Q2037111"
From MaRDI portal
The following pages link to Compact distributed certification of planar graphs (Q2037111):
Displaying 5 items.
- 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)
- Introduction to local certification (Q5024672) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
