Revisiting the Cardinality Reasoning for BinPacking Constraint. - François Pelsser; Pierre Schaus; Jean-Charles Régin (CP, 2013)