Questions tagged [logical-constraints]

For questions about constraints that can be expressed in (usually propositional) logic.

5 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12 votes
0 answers

which method has been used to automatically reformulate logical constraints in a standard MIP solver?

There are many of the formulations to linearize logical constraints by introducing new auxiliary binary or any appropriate variables and adding the corresponding constraints to the model. It can be ...
A.Omidi's user avatar
  • 8,450
2 votes
0 answers

The linearization of the logical constraints

I know the logical constraints can be linearized by either the logical representation of whose relation, (for pure binary variables e.g. CNF/DNF) or for general form by using Big-M formulation. As I ...
A.Omidi's user avatar
  • 8,450
1 vote
0 answers

Linearization of Conditional Constraints for MIP using Cplex

I'm currently working on a mixed-integer programming (MIP) problem and I'm trying to implement a set of conditional constraints in CPlex. These constraints involve decision variables that are indexed ...
B.Kim's user avatar
  • 11
0 votes
0 answers

Joint, two-sided chance constraint of MILP reformulation of a logical constrain

I reformulated the logical constraint $x = \min\{y,z\}$ as this MILP problem $$ \begin{array}{ll} x &\leq y \\ x &\leq z \\ x &\geq y-M(1-w) \\ x &\geq z-Mw \end{array} $$ in which $...
al b's user avatar
  • 1
-3 votes
0 answers

Scenario-based optimization management of product during production disruption

Chitranjan Singh Thakur's user avatar