TY - RPRT TI - The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems AU - Johanna Brunar AU - Marcin Kozik AU - Tomáš Nagy AU - Michael Pinsker PY - 2026 DO - 10.1109/lics65433.2025.00037. UR - https://arxiv.org/abs/2501.17060 ID - 2501.17060 ER -