TY  - RPRT
TI  - Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time
AU  - Gábor Elek
PY  - 2022
UR  - https://arxiv.org/abs/2006.11869
ID  - 2006.11869
ER  -