20 citations · 27 across the 5 of their papers we have counts for
1 paper · 1 filter
Louis Esperet, Benjamin Lévêque
A proof labelling scheme for a graph class C is an assignment of certificates to the vertices of any graph in the class C, such that upon reading its certif…