The following pages link to Randomized Proof-Labeling Schemes (Q2796267):
Displayed 5 items.
- Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112) (← links)
- Fooling views: a new lower bound technique for distributed computations under congestion (Q2220402) (← links)
- (Q5090916) (← links)
- Fast distributed algorithms for testing graph properties (Q5915702) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)