Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs

Autor:	Yoav Ben Shimon, Orr Fischer, Rotem Oshman
Rok vydání:	2022
Zdroj:	Structural Information and Communication Complexity ISBN: 9783031099922
DOI:	10.1007/978-3-031-09993-9_2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ec101ff7e8b7fbb219a396f6b7ae3016 https://doi.org/10.1007/978-3-031-09993-9_2 Zobrazit plný text záznamu