scientific article; zbMATH DE number 2079347
From MaRDI portal
zbMath1176.90395MaRDI QIDQ4471306
Ralph Schulte, Michael Seel, Elmar Schömer, Dennis Weber, Marcel Dhiflaoui, Kurt Mehlhorn, Carsten Kwappik, Stefan Funke
Publication date: 28 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Analyzing read-once cutting plane proofs in Horn systems, Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates, Computer-assisted proof of performance ratios for the differencing method, The final NETLIB-LP results, Certifying feasibility and objective value of linear programs, Certifying algorithms, An Exact Rational Mixed-Integer Programming Solver, Exact solutions to linear programming problems, Roundoff-Error-Free Algorithms for Solving Linear Systems via Cholesky and LU Factorizations, Testing cut generators for mixed-integer linear programming, Linear programming using limited-precision oracles, A hybrid branch-and-bound approach for exact rational mixed-integer programming, 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
