Brief Announcement: Distributed Model Checking on Graphs of Bounded Treedepth.

Fedor V. Fomin, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, Ioan Todinca

Browse the full PODC paper archive.