2 papers
math.OC2024
Automating Idealness Proofs for Binary Programs with Application to Rectangle Packing
Jamie Fravel, Robert Hildebrand
We develop an optimization framework for identifying ideal Mixed Binary Linear Programs (MBLP) which is linear when using known input data and nonconvex quadratic over parametric i…
math.OC2023
Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part II
Benjamin Beach, Robert Burlacu, Andreas Barmann +2
This is Part II of a study on mixed-integer programming (MIP) relaxation techniques for the solution of non-convex mixed-integer quadratically constrained quadratic programs (MIQCQ…