Login / Signup

What Can Be Certified Compactly? Compact local certification of MSO properties in tree-like graphs.

Laurent FeuilloleyNicolas BousquetThé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