Local verification of global proofs

26 March 2018

Laurent Feuilloley

Papers citing "Local verification of global proofs"

5 / 5 papers shown

Title
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 22 17 0 12 Feb 2022
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 23 22 0 30 Jul 2021
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 18 28 0 12 May 2020
Introduction to local certification Laurent Feuilloley 22 31 0 28 Oct 2019
A hierarchy of local decision Laurent Feuilloley Pierre Fraigniaud J. Hirvonen 14 38 0 29 Feb 2016