TY - RPRT TI - Nmbr9 as a Constraint Programming Challenge AU - Mikael Zayenz Lagerkvist PY - 2020 UR - https://arxiv.org/abs/2001.04238 ID - 2001.04238 ER -