TY - RPRT TI - The square of the 9-hypercube is 14-colorable AU - Juho Lauri PY - 2016 UR - https://arxiv.org/abs/1605.07613 ID - 1605.07613 ER -