Explicit Space-Time Tradeoffs for Proof Labeling Schemes in Graphs with Small Separators.

Orr Fischer, Rotem Oshman, Dana Shamir

Browse the full OPODIS paper archive.