Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs.

Yoav Ben Shimon, Orr Fischer, Rotem Oshman

Browse the full SIROCCO paper archive.