Cover Image

Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Borst, Sander, Eifler, Leon, Gleixner, Ambros
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers
by: Hoen, Alexander, et al.
Published: (2024)

Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
by: Hoen, Alexander, et al.
Published: (2024)

Branch and Cut for Partitioning a Graph into a Cycle of Clusters
by: Eifler, Leon, et al.
Published: (2024)

Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming
by: Hoen, Alexander, et al.
Published: (2024)

PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support
by: Gleixner, Ambros, et al.
Published: (2022)

Cut-based Conflict Analysis in Mixed Integer Programming
by: Mexi, Gioni, et al.
Published: (2024)

Branch and price for nonlinear production-maintenance scheduling in complex machinery
by: Dionísio, João, et al.
Published: (2025)

CHAP: A Hybrid GPU-CPU Heuristic for MIP
by: Tjusila, Gennesaret Kharistio, et al.
Published: (2026)

Clique Probing for Mixed-Integer Programs
by: von Holly-Ponientzietz, Jacob, et al.
Published: (2025)

Branch and Price for the Length-Constrained Cycle Partition Problem
by: Ghannam, Mohammed, et al.
Published: (2024)

Integrality Gaps for Random Integer Programs via Discrepancy
by: Borst, Sander, et al.
Published: (2022)

Improving the Solution of Indefinite Quadratic Programs and Linear Programs with Complementarity Constraints by a Progressive MIP Method
by: Zhang, Xinyao, et al.
Published: (2024)

Online Matching on $3$-Uniform Hypergraphs
by: Borst, Sander, et al.
Published: (2024)

MIP Relaxations in Factorable Programming
by: He, Taotao, et al.
Published: (2023)

QUBO Formulations for MIP Symmetry Detection
by: While, Alexander, et al.
Published: (2025)

A nearly optimal randomized algorithm for explorable heap selection
by: Borst, Sander, et al.
Published: (2022)

Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Terms
by: Bestuzheva, Ksenia, et al.
Published: (2022)

Progressively Strengthening and Tuning MIP Solvers for Reoptimization
by: Patel, Krunal Kishor
Published: (2023)

A Proof of the Exact Convergence Rate of Gradient Descent
by: Kim, Jungbin
Published: (2024)

Novel Numerical Method for Simultaneous Design and Control Optimization of Seasonal Thermal Energy Storage Systems
by: Song, Wonsun, et al.
Published: (2025)

A diving heuristic for mixed-integer problems with unbounded semi-continuous variables
by: Halbig, Katrin, et al.
Published: (2024)

Tight MIP Formulations for Optimal Operation and Investment of Storage Including Reserves
by: Elgersma, Maaike B., et al.
Published: (2024)

On MIP Formulations for Logit-Based Multi-Purchase Choice Models and Applications
by: He, Taotao, et al.
Published: (2026)

A Hybrid Relaxation-Heuristic Framework for Solving MIP with Binary Variables
by: Wang, Zayn
Published: (2026)

Classification and Treatment Learning with Constraints via Composite Heaviside Optimization: a Progressive MIP Method
by: Fang, Yue, et al.
Published: (2024)

Introduction to Exact Penalization for Mathematical Programming with Equilibrium Constraints
by: Wang, Louis Shuo
Published: (2026)

PDOT: a Practical Primal-Dual Algorithm and a GPU-Based Solver for Optimal Transport
by: Lu, Haihao, et al.
Published: (2024)

Regularized MIP Model for Integrating Energy Storage Systems and its Application for Solving a Trilevel Interdiction Problem
by: Han, Dahye, et al.
Published: (2024)

BenLOC: A Benchmark for Learning to Configure MIP Optimizers
by: Li, Hongpei, et al.
Published: (2025)

Batched First-Order Methods for Parallel LP Solving in MIP
by: Blin, Nicolas, et al.
Published: (2026)

Trajectories and Platoon-forming Algorithm for Intersections with Heterogeneous Autonomous Traffic
by: Joshi, P. C., et al.
Published: (2023)

Machine Learning Algorithms for Improving Exact Classical Solvers in Mixed Integer Continuous Optimization
by: Kimiaei, Morteza, et al.
Published: (2025)

Safe Primal-Dual Optimization with a Single Smooth Constraint
by: Usmanova, Ilnura, et al.
Published: (2025)

Nonlinear Programming Solvers for Unconstrained and Constrained Optimization Problems: a Benchmark Analysis
by: Lavezzi, Giovanni, et al.
Published: (2022)

Dual Hierarchical Least-Squares Programming with Equality Constraints
by: Pfeiffer, Kai
Published: (2025)

Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint
by: Tardivo, Fabio, et al.
Published: (2024)

A general framework for providing interval representations of Pareto optimal outcomes for large-scale bi- and tri-criteria MIP problems
by: Filcek, Grzegorz, et al.
Published: (2023)

Elliptic Relaxation Strategies to Support Numerical Stability of Segregated Continuous Adjoint Flow Solvers
by: Kühl, Niklas
Published: (2025)

Certifying optimality in nonconvex robust PCA
by: Gong, Pinxi, et al.
Published: (2026)

Accelerated Decentralized Constraint-Coupled Optimization: A Dual$^2$ Approach
by: Li, Jingwang, et al.
Published: (2025)