What can be certified compactly?

What can be certified compactly?

12 February 2022

Nicolas Bousquet

Laurent Feuilloley

Théo Pierron

Papers citing "What can be certified compactly?"

11 / 11 papers shown

Title
Local certification of forbidden subgraphs Nicolas Bousquet Linda Cook Laurent Feuilloley Théo Pierron Sébastien Zeitoun GNN 35 3 0 19 Feb 2024
Local certification of local properties: tight bounds, trade-offs and new parameters Nicolas Bousquet Laurent Feuilloley Sébastien Zeitoun 18 5 0 21 Dec 2023
The Hardness of Local Certification of Finite-State Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson 13 0 0 19 Dec 2023
Local certification of geometric graph classes Oscar Defrain Louis Esperet Aurélie Lagoutte Pat Morin Jean-Florent Raymond 13 2 0 28 Nov 2023
The Distributed Complexity of Locally Checkable Labeling Problems Beyond Paths and Trees Yi-Jun Chang 54 1 0 12 Nov 2023
Local Certification of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre Diego Ramírez-Romero I. Rapaport 17 2 0 09 Sep 2023
Local Certification of Majority Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson Guillaume Theyssier 19 1 0 04 Sep 2023
Distributed Certification for Classes of Dense Graphs Pierre Fraigniaud Frédéric Mazoit Pedro Montealegre I. Rapaport Ioan Todinca 16 10 0 26 Jul 2023
A Meta-Theorem for Distributed Certification Pierre Fraigniaud Pedro Montealegre I. Rapaport Ioan Todinca 22 18 0 06 Dec 2021
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 21 22 0 30 Jul 2021
Local Certification of Graphs with Bounded Genus Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre I. Rapaport É. Rémila Ioan Todinca 15 23 0 16 Jul 2020