QSopt-Exact
From MaRDI portal
Software:17241
swMATH5101MaRDI QIDQ17241FDOQ17241
Author name not available (Why is that?)
Cited In (18)
- Linear programming using limited-precision oracles
- An Exact Rational Mixed-Integer Programming Solver
- Extensions of Fractional Precolorings Show Discontinuous Behavior
- Algorithm 1021: SPEX Left LU, Exactly Solving Sparse Linear Systems via a Sparse Left-looking Integer-preserving LU Factorization
- Focused most probable world computations in probabilistic logic programs
- Roundoff-error-free algorithms for solving linear systems via Cholesky and LU factorizations
- A hybrid branch-and-bound approach for exact rational mixed-integer programming
- A heuristic to generate rank-1 GMI cuts
- Theoretical filtering of RLT bound-factor constraints for solving polynomial programming problems to global optimality
- Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry
- Valid inequalities based on the interpolation procedure
- Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates
- Iterative refinement for linear programming
- Using symmetry to optimize over the Sherali-Adams relaxation
- Rigorous Error Bounds for the Optimal Value in Semidefinite Programming
- Exact solutions to linear programming problems
- 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
This page was built for software: QSopt-Exact