Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs

von Shimon, Yoav Ben
Veröffentlicht in SIROCCO (29. : 2022 : Paderborn) Structural information and communication complexity (2022)