A computational status update for exact rational mixed integer programming
From MaRDI portal
Publication:5925645
DOI10.1007/s10107-021-01749-5OpenAlexW3122393325MaRDI QIDQ5925645
Ambros M. Gleixner, Leon Eifler
Publication date: 14 March 2023
Published in: Mathematical Programming. Series A. Series B (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10107-021-01749-5
mixed integer programmingsymbolic computationsexact computationrational arithmeticcertificate of correctness
Related Items
Exact SCIP, Towards a qualitative theory of the interruption of eating behavior change, Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework
Uses Software
Cites Work
- Unnamed Item
- A hybrid branch-and-bound approach for exact rational mixed-integer programming
- Safe bounds in linear and mixed-integer linear programming
- Branching rules revisited
- New complexity results for Łukasiewicz logic
- Integer-programming bounds on pebbling numbers of Cartesian-product graphs
- Computing convex hulls and counting integer points with \texttt{polymake}
- Verifying integer programming results
- Measuring the impact of primal heuristics
- Exact solutions to linear programming problems
- Using integer programming to search for counterexamples: a case study
- Iterative Refinement for Linear Programming
- Numerically Safe Gomory Mixed-Integer Cuts
- Computing the Crosscap Number of a Knot Using Integer Programming and Normal Surfaces
- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
- Presolve Reductions in Mixed Integer Programming
- SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
- Accuracy and Stability of Numerical Algorithms
- Cutting planes for families implying Frankl’s conjecture
- Mixed Integer Programming: Analyzing 12 Years of Progress
- A computational status update for exact rational mixed integer programming
- Linear programming using limited-precision oracles
