Pages that link to "Item:Q5024672"
From MaRDI portal
The following pages link to Introduction to local certification (Q5024672):
Displaying 4 items.
- Planarity can be verified by an approximate proof labeling scheme in constant-time (Q2154327) (← links)
- Labeling schemes for deterministic radio multi-broadcast (Q2672450) (← links)
- Automated testing and interactive construction of unavoidable sets for graph classes of small path‐width (Q6094029) (← links)
- Lower bound for constant-size local certification (Q6155248) (← links)
