TY - RPRT TI - Three-coloring graphs with no induced seven-vertex path I : the triangle-free case AU - Maria Chudnovsky AU - Peter Maceli AU - Mingxian Zhong PY - 2014 UR - https://arxiv.org/abs/1409.5164 ID - 1409.5164 ER -