TY - RPRT TI - Three-coloring triangle-free planar graphs in linear time AU - Zdenek Dvorak AU - Ken-ichi Kawarabayashi AU - Robin Thomas PY - 2013 UR - https://arxiv.org/abs/1302.5121 ID - 1302.5121 ER -