Skip to main content

Optimizing away dummy binary variables with values determined by other variables?



1 comment

  • Jaromił Najman
    Gurobi Staff Gurobi Staff

    Hi Tobi,

    Usually, Gurobi's presolve algorithm and probing procedures should detect such implications. Of course, there can be exceptions. If you really want to make sure that no implication is missed, you could experiment with using Gurobi's and constraints and compare solver's performance. Since the and constraints take only single variables as input, you will have to add auxiliary variables \(x^n_{t} = 1- x_{t}\).

    Best regards, 



Please sign in to leave a comment.