Implied Integrality in Mixed-Integer Optimization

Rolf van der Hulst, Matthias Walter

Implied-integer detection is a well-known presolving technique that is used by many Mixed-Integer Linear Programming solvers. Informally, a variable is said to be implied integer i…