13 citations · 22 across the 9 of their papers we have counts for
3 papers · 1 filter
A geometric way to build strong mixed-integer programming formulations
Joey Huchette, Juan Pablo Vielma
We give an explicit geometric way to build mixed-integer programming (MIP) formulations for unions of polyhedra. The construction is simply described in terms of spanning hyperplan…
Strong mixed-integer programming formulations for trained neural networks
Ross Anderson, Joey Huchette, Christian Tjandraatmadja +1
We present an ideal mixed-integer programming (MIP) formulation for a rectified linear unit (ReLU) appearing in a trained neural network. Our formulation requires a single binary v…
Strong mixed-integer programming formulations for trained neural networks
Ross Anderson, Joey Huchette, Will Ma +2
We present strong mixed-integer programming (MIP) formulations for high-dimensional piecewise linear functions that correspond to trained neural networks. These formulations can be…