TY - RPRT TI - Certifying coloring algorithms for graphs without long induced paths AU - Marcin KamiƄski AU - Anna Pstrucha PY - 2017 UR - https://arxiv.org/abs/1703.02485 ID - 1703.02485 ER -