D M ] 2 S ep 2 02 0 Exact square coloring of subcubic planar graphs ∗