Yoav Ben Shimon, Orr Fischer, Rotem Oshman. Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs. In Merav Parter, editor, Structural Information and Communication Complexity - 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings. Volume 13298 of Lecture Notes in Computer Science, pages 21-41, Springer, 2022. [doi]
Abstract is missing.