Local verification of global proofs

Local verification of global proofs

26 March 2018

Laurent Feuilloley

ArXiv (abs)PDF HTML

Papers citing "Local verification of global proofs"

10 / 10 papers shown

Title
Renaming in distributed certification Nicolas Bousquet Louis Esperet Laurent Feuilloley Sébastien Zeitoun 45 4 0 23 Sep 2024
Local Certification of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre Diego Ramírez-Romero I. Rapaport 50 2 0 09 Sep 2023
Local Certification of Majority Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson Guillaume Theyssier 49 1 0 04 Sep 2023
Distributed Certification for Classes of Dense Graphs Pierre Fraigniaud Frédéric Mazoit Pedro Montealegre I. Rapaport Ioan Todinca 61 12 0 26 Jul 2023
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 59 19 0 12 Feb 2022
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 57 23 0 30 Jul 2021
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 54 30 0 12 May 2020
Introduction to local certification Laurent Feuilloley 70 34 0 28 Oct 2019
Note on distributed certification of minimum spanning trees Laurent Feuilloley 18 3 0 16 Sep 2019
A hierarchy of local decision Laurent Feuilloley Pierre Fraigniaud J. Hirvonen 53 38 0 29 Feb 2016