TY - RPRT TI - Complexity of solving a system of difference constraints with variables restricted to a finite set AU - Santiago Cifuentes AU - Francisco J. Soulignac AU - Pablo Terlisky PY - 2022 UR - https://arxiv.org/abs/2211.05259 ID - 2211.05259 ER -