to include the piecewise linear charging function in a branch-and-cut approach. Thereby, we include infeasible solutions … in the solution space. To declare them infeasible again we check every integer solution obtained in the branch-and-cut …