# Questions tagged [logical-constraints]

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

42 questions
Filter by
Sorted by
Tagged with
63 views

### How to model this chain of logical implication II

I would like to seek some advice on modeling the following (chain of) logical implication: For instance $\omega_{xz}$ might indicate precedence, i.e., $x$, $z$ being the nodes $x$ and $z$, ...
55 views

### How to model this chain of logical implication

I would like to seek some advice on modeling the following (chain of) logical implication: For instance $\omega_{xy}$ might indicate precedence, i.e., $x$, $y$ being the nodes $x$ and $y$, ...
33 views

### Linearizing max constraint Problem [duplicate]

I want to linearize a max constraint as below: In which x_(i,t),are binary decision variables and T is a constant. How can I linearize this constraint?
726 views

### Can this be formulated as one inequality

I have two binary variables $x_1$ and $x_2$ and a non-negative continuous variable $y$. In addition, I have the following two parameters $u>q>0$. I would like to formulate the following ...
59 views

### distance specific constraint

I have some points with determined coordinates $(a_i,b_i)$. A vehicle can move between these points based on rectangular distance. In more detail, we consider that the path between points is an ...
151 views

### Switching of decision variables to be larger than or equal to a decision variable according to an indicator variable value

I would like to seek some advice on modeling the following: I have two integer decisions variables, $x, x'$, that are either equal or greater than zero and either of them is greater than or equal to a ...
214 views

Let $P_{t,u}; t=1,2,\ldots,T, u=1,2,\ldots,U$ be known values $\alpha$ is also a known parameter $X_{t,u}$ an optimization variable I have the following constraint: IF $P_{t,u}\geq\alpha$, THEN $X_{... 3answers 200 views ### How to linearize the Min function while letting the binary variable to be fixed for x1==x2 as well? As discussed here, the min function, i.e$X = \min\{x_1,x_2\}, can be linearized as follows: \begin{align} X & \le x_1 \\ X & \le x_2 \\ X & \ge x_1 - ... 1answer 134 views ### Switching of decision variables to be equal to a certain decision variable according to a binary (indicator) variable I would like to seek some advice on modeling the following: I have two integer decisions variables,x, x'$, that are either equal or greater than zero and either of them is to be equated to a third ... 1answer 90 views ### Formulating these logical constraint in an ILP I have these two constraints :$z \leq Myt \leq M'y $where$z$and$t$are two integer variables$ z, t\geq 0$,$y$is a binary variable, and$M$,$M'$are two big numbers. So basically these ... 1answer 77 views ### how to apply Big M to model the logic constraint （if-then-else） I was hoping to get some help in modelling the following logic as an MIP Constraint c_{m,l}^{RC} is binary decision variable. Simplify it： 2answers 134 views ### Formulating the conditional constraint I want to develop a model extension of capacitated location problem. The variables are a binary$x_i$and a continuous$Q_i$. The following condition must be satisfied: if$x_i = 0$,$Q_i$must be ... 1answer 106 views ### Logical constraint in ILP I want to write the following constraint: Let$z$be an integer variable such that$0\le z\le M$, and$t$be a binary variable where$M$denotes big-M. The logical constraint is as follows: if$z \...
I am trying to write an ILP for a problem but I have this logical constraint and I'm stuck. In my model I have: two binary variables: $x$ and $y$ One Integer variable: $z$ The logical constraint I am ...