An Exact Rational Mixed-Integer Programming Solver

DOI10.1007/978-3-642-20807-2_9zbMath1339.90244OpenAlexW1531154924MaRDI QIDQ3009754

Thorsten Koch, Kati Wolter, Daniel E. Steffy, William Cook

Publication date: 24 June 2011

Published in: Integer Programming and Combinatoral Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20807-2_9

Mathematics Subject Classification ID

Mixed integer programming (90C11) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)

Related Items (15)

Restricted risk measures and robust optimization ⋮ Exact cost minimization of a series-parallel reliable system with multiple component choices using an algebraic method ⋮ Local cuts for mixed-integer programming ⋮ Total dual dyadicness and dyadic generating sets ⋮ Revisiting a cutting-plane method for perfect matchings ⋮ Could we use a million cores to solve an integer program? ⋮ Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates ⋮ Numerically Safe Lower Bounds for the Capacitated Vehicle Routing Problem ⋮ New benchmark instances for the capacitated vehicle routing problem ⋮ On the safety of Gomory cut generators ⋮ A hybrid branch-and-bound approach for exact rational mixed-integer programming ⋮ Solving mixed-integer nonlinear programmes using adaptively refined mixed-integer linear programmes ⋮ Iterative Refinement for Linear Programming ⋮ Exact Solution of Sparse Linear Systems via Left-Looking Roundoff-Error-Free LU Factorization in Time Proportional to Arithmetic Work ⋮ Towards an Accurate Solution of Wireless Network Design Problems

Uses Software

• gmp
• SCIP
• MIPLIB
• CPLEX
• Benchmarks for Optimization Software
• QSopt_ex
• Concorde
• QSopt-Exact
• MIPLIB2003

Cites Work

• Unnamed Item
• Unnamed Item
• SCIP: solving constraint integer programs
• The final NETLIB-LP results
• Safe bounds in linear and mixed-integer linear programming
• Exact solutions to linear programming problems
• Conflict analysis in mixed integer programming
• Combinatorial Auctions: A Survey
• Numerically Safe Gomory Mixed-Integer Cuts
• Benchmarking optimization software with performance profiles.

This page was built for publication: An Exact Rational Mixed-Integer Programming Solver