Safe bounds in linear and mixed-integer linear programming
From MaRDI portal
Recommendations
Cited in
(48)- Validated constraints solving --- practicalities, pitfalls, and new developments
- Testing cut generators for mixed-integer linear programming
- Error bounds for mixed integer linear optimization problems
- Enhancing robustness verification for deep neural networks via symbolic propagation
- A cut and branch approach for the capacitated \(p\)-median problem based on Fenchel cutting planes
- On verified numerical computations in convex programming
- Hybridizing two linear relaxation techniques in interval-based solvers
- Exact solution of sparse linear systems via left-looking roundoff-error-free Lu factorization in time proportional to arithmetic work
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
- Safe and tight linear estimators for global optimization
- Certifying feasibility and objective value of linear programs
- Rigorous filtering using linear relaxations
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
- Exploiting verified neural networks via floating point numerical error
- Roundoff-error-free algorithms for solving linear systems via Cholesky and LU factorizations
- A reliable affine relaxation method for global optimization
- The small octagons of maximal width
- A hybrid branch-and-bound approach for exact rational mixed-integer programming
- On the safety of Gomory cut generators
- An efficient and safe framework for solving optimization problems
- Fast construction of constant bound functions for sparse polynomials
- A computational status update for exact rational mixed integer programming
- A comparison of complete global optimization solvers
- Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates
- Exact mixed-integer programming
- A computational status update for exact rational mixed integer programming
- Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming
- A hybrid LP/NLP paradigm for global optimization relaxations
- Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework
- A general framework for convexity analysis in deterministic global optimization
- Iterative refinement for linear programming
- Towards an accurate solution of wireless network design problems
- Transfer function synthesis without quantifier elimination
- Verifying integer programming results
- A review of computation of mathematically rigorous bounds on optima of linear programs
- A rigorous global filtering algorithm for quadratic constraints
- On strong optimality of interval linear programming
- Enhancing numerical constraint propagation using multiple inclusion representations
- Domain reduction techniques for global NLP and MINLP optimization
- Exact solutions to linear programming problems
- An exact rational mixed-integer programming solver
- Computational experience with rigorous error bounds for the Netlib linear programming library
- (Global) optimization: historical notes and recent developments
- Maximal inner boxes in parametric \textit{AE}-solution sets with linear shape
- Interval constraint programming for globally solving catalog-based categorical optimization
- Analyzing deep neural networks with symbolic propagation: towards higher precision and faster verification
- Enhancing interval constraint propagation by identifying and filtering \(n\)-ary subsystems
- Numerically safe lower bounds for the capacitated vehicle routing problem
This page was built for publication: Safe bounds in linear and mixed-integer linear programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434074)
