Refs. and . The idea of the big-M facilitates the transformation of the disjunctive choice between the operators into linear constraints . If no operator is selected, its nodal value is set to zero by constraints 5-6. Additionally, either none or one operator can be selected at the branch-nodes. Hence, the sum of operator binaries must be less or equal to one, which is constrained by Eq. 7.