Pierre Fraigniaud, Pedro Montealegre 0001, Ivan Rapaport, Ioan Todinca. A Meta-Theorem for Distributed Certification. In Merav Parter, editor, Structural Information and Communication Complexity - 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022, Proceedings. Volume 13298 of Lecture Notes in Computer Science, pages 116-134, Springer, 2022. [doi]
Abstract is missing.