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

Laurent Feuilloley, Nicolas Bousquet, Tho Pierron

Browse the full PODC paper archive.