Questions tagged [logical-constraints]
For questions about constraints that can be expressed in (usually propositional) logic.
5
questions with no upvoted or accepted answers
12
votes
0
answers
165
views
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 ...
- 8,450
2
votes
0
answers
88
views
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 ...
- 8,450
1
vote
0
answers
68
views
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 ...
- 11
0
votes
0
answers
29
views
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 $...
- 1
-3
votes
0
answers
30
views
