cardinality-constraints

1-CARD-XOR

Phase Transition Behavior of Cardinality and XOR Constraints