Planarity can be verified by an approximate proof labeling scheme in constant-time

Gábor Elek. Planarity can be verified by an approximate proof labeling scheme in constant-time. J. Comb. Theory, Ser. A, 191:105643, 2022. [doi]

Abstract

Abstract is missing.