Local Certification of Reachability.

Oliver Bachtler Tim Bergner Sven O. Krumke

Published in: INOC (2022)

Keyphrases

third party
state space
transitive closure
data sets
database
learning algorithm
website
image segmentation
expressive power