Compact Distributed Certification of Planar Graphs

PODC 2020