TY - RPRT TI - The alldifferent Constraint: A Survey AU - W. J. van Hoeve PY - 2001 UR - https://arxiv.org/abs/cs/0105015 ID - cs/0105015 ER -