TY - RPRT TI - The square of a planar cubic graph is $7$-colorable AU - Carsten Thomassen PY - 2017 UR - https://arxiv.org/abs/1708.04406 ID - 1708.04406 ER -