Login / Signup
What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs.
Laurent Feuilloley
Nicolas Bousquet
Théo Pierron
Published in:
PODC (2022)
Keyphrases
</>
tree structured data
data structure
spanning tree
technical support
convex constraints
graph properties
graph matching
weighted graph
tree automata
maximal cliques
reachability queries