The paper develops a model that minimizes total inconsistencies in common-use counter assignments with a variable number of counters. The model is formulated as a zero-one integer program. To efficiently solve the large problems that occur in practice, we
