TY - RPRT TI - Computing Small Unit-Distance Graphs with Chromatic Number 5 AU - Marijn J. H. Heule PY - 2018 UR - https://arxiv.org/abs/1805.12181 ID - 1805.12181 ER -