New answers tagged

3 votes
Accepted

How to model the following Constraint

As in How to enforce logical implication $\sum_j a_j x_j \le b \implies \sum_j c_j x_j \le d$, (temporarily) introduce constant $\epsilon>0$ and binary variable $Z$, and impose linear big-M ...
RobPratt's user avatar
  • 31.5k
1 vote
Accepted

How to represent "if $y_{it} = 1$ and $z_{jt'}=1$ then $x_{ij,t+t'}=1$"

You want to linearize the logical relationship $$(y_{it} = 1 \land z_{jt'} = 1) \iff x_{ij,t+t'} = 1.$$ Equivalently, you want to linearize $$y_{it} z_{jt'} = x_{ij,t+t'}.$$ See How to linearize the ...
RobPratt's user avatar
  • 31.5k

Top 50 recent answers are included