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

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.