TY - RPRT TI - Characterization of the alldifferent kernel by Hall partitions and a calculation method AU - Thomas Fischer PY - 2022 UR - https://arxiv.org/abs/2202.00444 ID - 2202.00444 ER -