[cp2012-tank]
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem
Principles and Practice of Constraint Programming, 815-822,
2012