Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ6526883arXivFDO

Authors Leon Eifler, Ambros M. Gleixner

Published in arXiv

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Certified_Constraint_Propagation_and_Dual_Proof_Analysis_in_a_Numerically_Exact_MIP_Solver&oldid=103649852"