Showing cs.DMShow all
2 papers · 1 filter
cs.DM2025
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…
cs.DM2025
A Row-wise Algorithm for Graph Realization
Rolf van der Hulst, Matthias Walter
Given a -matrix , the graph realization problem for asks if there exists a spanning forest such that the columns of are incidence vectors of paths in the forest…