A Meta-Theorem for Distributed Certification

6 December 2021

Papers citing "A Meta-Theorem for Distributed Certification"

3 / 3 papers shown

Title
Local certification of MSO properties for bounded treedepth graphs Nicolas Bousquet Laurent Feuilloley Théo Pierron 33 4 0 05 Oct 2021
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 48 22 0 30 Jul 2021
The Power of Distributed Verifiers in Interactive Proofs M. Naor M. Parter E. Yogev 46 52 0 28 Dec 2018