# How does Gurobi handle binary variables in Mixed Integer (Binary) Linear Program?

I have a Mixed Integer (Binary) Linear Program with the following variables.

x = m.addVars(nodes, area,vtype=GRB.BINARY, name="x") w = m.addVars(arcs,area, vtype=GRB.BINARY, name="w") z = m.addVars(arcs, vtype=GRB.BINARY,name="z")

f1 = m.addVars(arcs,area,name="f")

When I solve it, Gurobi outputs the following:

Cutting planes: Gomory: 7 Mod-K: 4 RLT: 1

I am wondering whether Gurobi applies Gomory, Mod-K and RLT in parallel?

As per my understanding, RLT converts binary variables x into continuous, x(1-x) and x^2=x leading up to the convex hull representation.On the other hand, Gomory Mixed Integer cuts (or Mod-K cuts) with Lift-and-project subsequently shrinks the region around integer solutions. I am slightly confused about the way Gurobi applies cutting planes. Is there any specific order? Any insight will be extremely helpful!

0

Please sign in to leave a comment.

## Comments

0 comments