Figure 2.

B&C workflow for solving the ILP. The ILP problem with only basic constraints is added to the instance pool (pool for considered ILP subproblems). After choosing one subproblem, the integrality contraints are dropped in order to solve the problem efficiently. In the case of identified violated constraints, they are added to the problem. If not, it has to be decided whether the solution is integer. If this is not the case, the current problem is subdivided into two or more subproblems depending on the branching strategy.