MILP: the MILP model implemented in CPLEX 11; with a time limit of 7200 s;
RODP: the revolution operator together with the dominance properties as a heuristic algorithm;
ICA1: the proposed ICA without the revolution operator and the dominance properties;
ICA2: the proposed ICA without the dominance properties.