Re: [Help-glpk] 0/1-variable cuts

[Andrew Makhorin]

> I'm thinking of introducing some 0/1-preprocessing into pbglp, so I'm
> wondering if there are any special techniques in the MIP solver that
> explicitly deal with binary variables (and, hence, I do not need to 
> consider).

No, currently the glpk mip solver processes binary variables in the
same way as general integer ones. Some generic techniques are used in
the mip presolver (for example, on building the conflict graph to
generate clique cuts).

Andrew Makhorin