Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver.
Arbeits- / Diskussionspapier
› 2024
Borst, Sander; Eifler, Leon; Gleixner, Ambros: Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver.. Hg. von arXiv. Cornell: 2024, S. 1-16.
arxiv.org/abs/2403.13567
Englisch
BibTeX /