Partition-based formulations for mixed-integer optimization of trained ReLU neural networks.
Calvin TsayJan KronqvistAlexander ThebeltRuth MisenerPublished in: CoRR (2021)
Keyphrases
- mixed integer
- neural network
- valid inequalities
- mixed integer linear programming
- global optimization problems
- quadratic program
- linear program
- feasible solution
- cutting plane
- lot sizing
- mixed integer programming
- convex hull
- continuous relaxation
- optimal solution
- benders decomposition
- mixed integer program
- network design problem
- genetic algorithm
- continuous variables
- optimization algorithm
- bayesian inference
- multistage
- linear programming
- optimization problems
- probability distribution