Robert Fourer
- Total activity 47
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 25
Comments
Recent activity by Robert Fourer-
For \(a+b+c=0 \Rightarrow d=1\) with all variables binary, you could write equivalently \(a+b+c+d \geq 1\), or as an indicator constraint, \(d = 0 \Rightarrow a+b+c \geq 1\).
-
This was cross-posted to the AMPL forum, where the issues were resolved.