Safe bounds in linear and mixed-integer linear programming

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Mathematical programming

• Publication date

  2004-03-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/S10107-003-0433-3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Rigorous Lower and Upper Bounds in Linear Programming

  2003cited by this paper
• Computational Experience and the Explanatory Value of Condition Measures for Linear Optimization

  2003influential reference
• Computational Experience and the Explanatory Value of Condition Numbers for Linear Optimization

  2002cited by this paper
• Introduction to Numerical Analysis

  2001cited by this paper
• Aggregation and Mixed Integer Rounding to Solve MIPs

  2001cited by this paper
• Bounds for Local Density of Sphere Packings and the Kepler Conjecture

  2000cited by this paper
• A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations

  1999cited by this paper
• The NEOS Server

  1998cited by this paper
• Optimization environments and the NEOS server

  1997cited by this paper
• Combining and Strengthening Gomory Cuts

  1995cited by this paper
• Experience with a Primal Presolve Algorithm

  1994cited by this paper
• Verification methods for dense and sparse systems of equations

  1994cited by this paper
• Large Scale Optimization : State of the Art

  1993cited by this paper
• Rigorous solution of linear programming problems with uncertain data

  1991cited by this paper
• Interval methods for systems of equations

  1990cited by this paper
• Zur linearen Optimierung mit unscharfen Daten

  1985cited by this paper
• Methods and applications of interval analysis

  1979cited by this paper
• Fehlerabschätzung bei linearer Optimierung

  1975cited by this paper
• Analysis of mathematical programming problems prior to applying the simplex algorithm

  1975cited by this paper
• Integer Programming

  1972cited by this paper

• The Sweet Spot of Bound Tightening for Topology Optimization

  2025cites this paper
• On the power of linear programming for K-means clustering

  2024cites this paper
• Hybridizing two linear relaxation techniques in interval-based solvers

  2024cites this paper
• Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming

  2024cites this paper
• Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework

  2024cites this paper
• Asymptotically minimal contractors based on the centered form;Application to the stability analysis of linear systems

  2023cites this paper
• Optimisation of multi‐tier supply chain distribution networks with corporate social responsibility concerns in fast‐fashion retail

  2023cites this paper
• What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems

  2023cites this paper
• A Numerically Exact Algorithm for the Bin-Packing Problem

  2023cites this paper
• Finding all DC operating points of nonlinear circuits using interval linearization based method

  2022cites this paper
• Design of FRM-Based Nonuniform Filter Bank With Reduced Effective Wordlength for Hearing Aids

  2022cites this paper
• Making Rigorous Linear Programming Practical for Program Analysis

  2021influential citation
• A global method for mixed categorical optimization with catalogs

  2021cites this paper
• (Global) Optimization: Historical notes and recent developments

  2021cites this paper
• Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation

  2021cites this paper
• Cost optimization of distributed data centers via computing workload distribution for next generation network systems

  2021cites this paper
• Interval constraint programming for globally solving catalog-based categorical optimization

  2021cites this paper
• A Review of Formal Methods applied to Machine Learning

  2021cites this paper
• A computational status update for exact rational mixed integer programming

  2021cites this paper
• Verification methods for conic linear programming problems

  2020cites this paper
• Hybridization of interval methods and evolutionary algorithms for solving difficult optimization problems

  2020cites this paper
• Incoherent dictionary learning via mixed-integer programming and hybrid augmented Lagrangian

  2020cites this paper
• Load balancing and resource management in distributed B5G networks

  2020cites this paper
• Exploiting Verified Neural Networks via Floating Point Numerical Error

  2020cites this paper
• Exact Solution of Sparse Linear Systems via Left-Looking Roundoff-Error-Free LU Factorization in Time Proportional to Arithmetic Work

  2019cites this paper
• Mixed Integer Programming For Sparse Coding: Application to Image Denoising

  2019cites this paper
• K-SVD with a real L0 optimization: application to image denoising

  2019cites this paper
• Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

  2019influential citation
• Enhancing interval constraint propagation by identifying and filtering n-ary subsystems

  2019cites this paper
• A hybrid LP/NLP paradigm for global optimization relaxations

  2018cites this paper
• A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

  2018cites this paper
• Cost‐minimizing online algorithm for internet green data centers on multi‐source energy

  2018cites this paper
• Safety and Trustworthiness of Deep Neural Networks: A Survey

  2018cites this paper
• Solution of Dense Linear Systems via Roundoff-Error-Free Factorization Algorithms

  2018cites this paper
• Numerical Software Verification

  2017cites this paper
• A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

  2017cites this paper
• Cost-Aware Resource Allocation for Fog-Cloud Computing Systems

  2017cites this paper
• Domain reduction techniques for global NLP and MINLP optimization

  2017cites this paper
• Fog-Assisted Operational Cost Reduction for Cloud Data Centers

  2017cites this paper
• Sound Numerical Computations in Abstract Acceleration

  2017cites this paper
• On strong optimality of interval linear programming

  2017cites this paper
• Une véritable approche $\ell_0$ pour l'apprentissage de dictionnaire

  2017cites this paper
• Roundoff-Error-Free Basis Updates of LU Factorizations for the Efficient Validation of Optimality Certificates

  2017cites this paper
• Quantitative static analysis of communication protocols using abstract Markov chains

  2017cites this paper
• Cutting Planes for Union-Closed Families

  2017cites this paper
• Verifying Integer Programming Results

  2016cites this paper
• Solution of Traveling Salesman Problem with Hotel Selection in the framework of MILP-tropical optimization

  2016cites this paper
• Foundational Factorization Algorithms for the Efficient Roundoff-Error-Free Solution of Optimization Problems

  2016cites this paper
• A review of computation of mathematically rigorous bounds on optima of linear programs

  2016cites this paper
• Combinatorial Optimization

  2016influential citation
• On strong optimality of interval linear programming

  2016cites this paper
• Towards an accurate solution of wireless network design problems

  2016cites this paper
• CAWSAC: Cost-Aware Workload Scheduling and Admission Control for Distributed Cloud Data Centers

  2016cites this paper
• Smart operation of transformers for sustainable electric vehicles integration and model predictive control for energy monitoring and management

  2016cites this paper
• Flight formation of UAVs in presence of moving obstacles using fast-dynamic mixed integer linear programming

  2016cites this paper
• UAV Traffic Management for National Airspace Integration

  2016cites this paper
• Interval Branch-and-Bound algorithms for optimization and constraint satisfaction: a survey and prospects

  2015cites this paper
• Improving interval enclosures

  2015cites this paper
• School of Business 5-2012 On the safety of Gomory cut generators

  2015cites this paper
• Maximal inner boxes in parametric AE-solution sets with linear shape

  2015cites this paper
• Contractors and Linear Matrix Inequalities

  2015cites this paper
• Tepper School of Business 4-2009 Testing Cut Generators for Mixed-Integer Linear Programming

  2015influential citation
• Cutting the Mix

  2015cites this paper
• Hybridation d'algorithmes évolutionnaires et de méthodes d'intervalles pour l'optimisation de problèmes difficiles. (Hybridization of evolutionary algorithms and interval-based methods for optimizing difficult problems)

  2015cites this paper
• Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems

  2015cites this paper
• Generation of a reduced first - level mixed integer programmimg problem

  2014cites this paper
• Assessment of a non-adaptive deterministic global optimization algorithm for problems with low-dimensional non-convex subspaces

  2014cites this paper
• Interval Linear Programming Techniques in Constraint Programming and Global Optimization

  2014cites this paper
• Safe Bounds in Semidefinite Programming by Using Interval Arithmetic

  2014cites this paper
• An exact arithmetic toolbox for a consistent and reproducible structural analysis of metabolic network models

  2014cites this paper
• A model predictive control framework for reliable microgrid energy management

  2014cites this paper
• An interval joint-probabilistic programming method for solid waste management: a case study for the city of Tianjin, China

  2014cites this paper
• Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic

  2014cites this paper
• Smart Pricing of Cloud Resources

  2014cites this paper
• Leveraging linear and mixed integer programming for SMT

  2014cites this paper
• Speed of discrete optimization solvers for real time sewer control

  2013cites this paper
• Static analysis by abstract interpretation of concurrent programs. (Analyse statique par interprétation abstraite de programmes concurrents)

  2013cites this paper
• A Branch-and-Cut algorithm for the Single Source Capacitated Facility Location problem

  2013cites this paper
• Valid Linear Programming Bounds for Exact Mixed-Integer Programming

  2013cites this paper
• On the safety of Gomory cut generators

  2013cites this paper
• Inferring Numeric Invariants by Abstract Interpretation

  2013cites this paper
• Numeric Abstract Domains Abstract Interpretation Course

  2013cites this paper
• Integer Programming and Combinatorial Optimization

  2013cites this paper
• Enclosure Methods for Systems of Polynomial Equations and Inequalities

  2012cites this paper
• Coordinated Energy Cost Management of Distributed Internet Data Centers in Smart Grid

  2012cites this paper
• A general framework for convexity analysis in deterministic global optimization

  2012cites this paper
• A Contractor Based on Convex Interval Taylor

  2012cites this paper
• Certifying feasibility and objective value of linear programs

  2012cites this paper
• A dynamic program analysis to find floating-point accuracy problems

  2012cites this paper
• Boosting Local Consistency Algorithms over Floating-Point Numbers

  2012cites this paper
• ILP Modulo Theories

  2012cites this paper
• Datacenter net profit optimization with deadline dependent pricing

  2012cites this paper
• The Bernstein Basis and its Applications in Solving Geometric Constraint Systems

  2012cites this paper
• What Are Numerical Abstract Domains ?

  2012cites this paper
• The Small Octagons of Maximal Width

  2012cites this paper
• Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing)

  2011cites this paper
• Capabilities of Constraint Programming in Safe Global Optimization

  2011cites this paper
• Transfer Function Synthesis without Quantifier Elimination

  2011cites this paper
• Model-based synthesis of control software from system-level formal specifications

  2011cites this paper
• Computing multiple steady states in homogeneous azeotropic and ideal two‐product distillation

  2011cites this paper