5 citations · 23 across the 20 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DC2021
A Meta-Theorem for Distributed Certification
Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport +1
Distributed certification, whether it be proof-labeling schemes, locally checkable proofs, etc., deals with the issue of certifying the legality of a distributed system with respec…
cs.DS2021
A cubic vertex-kernel for Trivially Perfect Editing
Maël Dumas, Anthony Perez, Ioan Todinca
We consider the Trivially Perfect Editing problem, where one is given an undirected graph and a parameter and seeks to edit (add or delete) at most $…