APA (7th ed.) Citation

Borst, S., Eifler, L., & Gleixner, A. (2024). Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver.

Chicago Style (17th ed.) Citation

Borst, Sander, Leon Eifler, and Ambros Gleixner. Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver. 2024.

MLA (9th ed.) Citation

Borst, Sander, et al. Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver. 2024.