TY - RPRT TI - Discrete Homotopy and Promise Constraint Satisfaction Problem AU - Arash Beikmohammadi AU - Andrei A. Bulatov PY - 2025 UR - https://arxiv.org/abs/2512.05120 ID - 2512.05120 ER -