WEBIf one of the terms is binary, and the other is, for example, a non-negative continuous variable, the model can be linearized using big M constraints, as follows. The term itself should be replaced by a new non-negative continuous variable \(z\), and the model should be extended with the following constraints: \[z \le x \] \[z \le M \cdot y ...