QSopt_ex

QSopt-Exact The objective of this software is to provide a solver for Linear Programming (and Integer Programming to a lesser degree) that returns true (rational) optimal solutions. It relies heavilly on the GNUMP library, that provides a multiprecision library for both floating point and also rational arithmetic. Note that if you use a dynamicly linked version of QSopt-Exact, then the GMP library should have been compiled with the option --enable-alloca=malloc-reentrant, this is needed to avoid memory corruption. The basis for the LP solver was taken from QSopt, which is an LP solver based on floating point arithmetic and available for free for research purposes. A brief description of the implementation and the obtained results can be obtained here (pdf), and a longer description (which is part of my Ph.D. thesis) can be found here Much of the functionality used in QSopt-Exact comes from EGlib.


References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Gleixner, Ambros M.; Steffy, Daniel E.; Wolter, Kati: Iterative refinement for linear programming (2016)
  2. Müller, Stefan; Feliu, Elisenda; Regensburger, Georg; Conradi, Carsten; Shiu, Anne; Dickenstein, Alicia: Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry (2016)
  3. Escobedo, Adolfo R.; Moreno-Centeno, Erick: Roundoff-error-free algorithms for solving linear systems via Cholesky and LU factorizations (2015)
  4. Lagos, Guido; Espinoza, Daniel; Moreno, Eduardo; Vielma, Juan Pablo: Restricted risk measures and robust optimization (2015)
  5. Ma, Ding; Saunders, Michael A.: Solving multiscale linear programs using the simplex method in quadruple precision (2015)
  6. Ostrowski, James: Using symmetry to optimize over the Sherali-Adams relaxation (2014)
  7. Chvátal, Vašek; Cook, William; Espinoza, Daniel: Local cuts for mixed-integer programming (2013)
  8. Cook, William; Koch, Thorsten; Steffy, Daniel E.; Wolter, Kati: A hybrid branch-and-bound approach for exact rational mixed-integer programming (2013)
  9. Cornuéjols, Gérard; Margot, François; Nannicini, Giacomo: On the safety of Gomory cut generators (2013)
  10. Dalkiran, Evrim; Sherali, Hanif D.: Theoretical filtering of RLT bound-factor constraints for solving polynomial programming problems to global optimality (2013)
  11. Gago, J.; Hartillo, I.; Puerto, J.; Ucha, J.M.: Exact cost minimization of a series-parallel reliable system with multiple component choices using an algebraic method (2013)
  12. Gleixner, Ambros M.; Steffy, Daniel E.; Wolter, Kati: Improving the accuracy of linear programming solvers with iterative refinement (2012)
  13. Koch, Thorsten; Ralphs, Ted; Shinano, Yuji: Could we use a million cores to solve an integer program? (2012)
  14. Cook, William; Koch, Thorsten; Steffy, Daniel E.; Wolter, Kati: An exact rational mixed-integer programming solver (2011)
  15. Koch, Thorsten; Achterberg, Tobias; Andersen, Erling; Bastert, Oliver; Berthold, Timo; Bixby, Robert E.; Danna, Emilie; Gamrath, Gerald; Gleixner, Ambros M.; Heinz, Stefan; Lodi, Andrea; Mittelmann, Hans; Ralphs, Ted; Salvagnin, Domenico; Steffy, Daniel E.; Wolter, Kati: MIPLIB 2010. Mixed integer programming library version 5 (2011)
  16. Jansson, Christian; Chaykin, Denis; Keil, Christian: Rigorous error bounds for the optimal value in semidefinite programming (2008)
  17. Applegate, David L.; Cook, William; Dash, Sanjeeb; Espinoza, Daniel G.: Exact solutions to linear programming problems (2007)