TY - RPRT TI - Computing shortest 12-representants of labeled graphs AU - Asahi Takaoka PY - 2023 UR - https://arxiv.org/abs/2304.07507 ID - 2304.07507 ER -