In simplex algorithm, in order to handle inequation constraints, we need to convert them into equations by introducing so-called 'slack variables', like $$ \mathbf{a}^T\mathbf{x} + b \leq 0\quad\rightarrow\quad \mathbf{a}^T\mathbf{x} + b + s = 0 $$ On the other hand, if some constraints could be ...

Consider a variable c from the domain {-1,0,1}. I have the following constraint: IF $c = 1 \Rightarrow x = 1 $ ELSE $x = 0$ How do I linearize this constraint?