A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs.

Linda Cook, Eun Jung Kim, Toms Masark

Browse the full PODC paper archive.