# 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
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
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
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
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 \$...