ByNobleID
    Three-coloring triangle-free planar graphs in linear time | NobleID