Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver
From MaRDI portal
Publication:6526883
arXiv2403.13567MaRDI QIDQ6526883FDOQ6526883
Authors: Leon Eifler, Ambros M. Gleixner 
This page was built for publication: Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6526883)
