TY - RPRT TI - Complexity of Reasoning with Cardinality Minimality Conditions AU - Nadia Creignou AU - Frédéric Olive AU - Johannes Schmidt PY - 2023 UR - https://arxiv.org/abs/2303.01571 ID - 2303.01571 ER -