English
Related papers

Related papers: Exploring the Numerics of Branch-and-Cut for Mixed…

200 papers

An existing solvability result for relaxed one-sided Lipschitz algebraic inclusions is substantially improved. This enhanced solvability result allows the design of a very robust numerical method for the approximation of a solution of the…

Optimization and Control · Mathematics 2013-08-19 Wolf-Jürgen Beyn , Janosch Rieger

Graphical models with High Order Potentials (HOPs) have received considerable interest in recent years. While there are a variety of approaches to inference in these models, nearly all of them amount to solving a linear program (LP)…

Artificial Intelligence · Computer Science 2013-09-27 Elad Mezuman , Daniel Tarlow , Amir Globerson , Yair Weiss

Deterministic computer simulations are often used as a replacement for complex physical experiments. Although less expensive than physical experimentation, computer codes can still be time-consuming to run. An effective strategy for…

Methodology · Statistics 2010-03-04 Mark Franey , Pritam Ranjan , Hugh Chipman

Despite the success of branch-and-cut methods for solving mixed integer bilevel linear optimization problems (MIBLPs) in practice, there are still gaps in both the theory and practice surrounding these methods. In the first part of this…

Optimization and Control · Mathematics 2025-10-06 Sahar Tahernejad , Ted K. Ralphs

In this paper, we investigate the use of relaxed logarithmic barrier functions in the context of linear model predictive control. We present results that allow to guarantee asymptotic stability of the corresponding closed-loop system, and…

Optimization and Control · Mathematics 2015-03-12 Christian Feller , Christian Ebenbauer

Linear computation coding is concerned with the compression of multidimensional linear functions, i.e. with reducing the computational effort of multiplying an arbitrary vector to an arbitrary, but known, constant matrix. This paper…

Information Theory · Computer Science 2025-07-02 Hans Rosenberger , Johanna S. Fröhlich , Ali Bereyhi , Ralf R. Müller

In the development of industrial digital twins, the optimization problem of technological and business processes often arises. In many cases, this problem can be reduced to a large-scale linear programming (LP) problem. The article is…

Optimization and Control · Mathematics 2021-02-16 Leonid B. Sokolinsky , Irina M. Sokolinskaya

In this paper, we present an exact algorithm for optimizing two linear fractional over the efficient set of a multi-objective integer quadratic problem. This type of problems arises when two decision-makers, such as firms, each have a…

Optimization and Control · Mathematics 2024-02-05 Ali Bencheikh , Mustapha Moulai , Ilies Badaoui

In this note, we test the performance of six algorithms from the family of graph-based splitting methods [SIAM J. Optim., 34 (2024), pp. 1569-1594] specialized to normal cones of linear subspaces. To do this, we first implement some…

Numerical Analysis · Mathematics 2026-03-05 Francisco J. Aragón-Artacho , Rubén Campoy , Irene López-Larios , César López-Pastor

The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by computing all mixed integer Gomory cuts read from all tableau's…

Robotics · Computer Science 2010-10-29 Pierre Bonami

We investigate robust optimization problems defined for maximizing convex functions. For finite uncertainty set, we develop a geometric branch-and-bound algorithmic approach to solve this problem. The geometric branch-and-bound algorithm…

Optimization and Control · Mathematics 2019-11-21 Fengqiao Luo , Sanjay Mehrotra

State-of-the-art branch and bound algorithms for mixed integer programming make use of special methods for making branching decisions. Strategies that have gained prominence include modern variants of so-called strong branching (Applegate,…

Data Structures and Algorithms · Computer Science 2016-01-08 Fred Glover , Vladimir Shylo , Oleg Shylo

We consider the problem of solving a family of parametric mixed-integer linear optimization problems where some entries in the input data change. We introduce the concept of cutting-plane layer (CPL), i.e., a differentiable cutting-plane…

Optimization and Control · Mathematics 2023-11-10 Gabriele Dragotto , Stefan Clarke , Jaime Fernández Fisac , Bartolomeo Stellato

Integer programming (IP) is a general optimization framework widely applicable to a variety of unstructured and structured problems arising in, e.g., scheduling, production planning, and graph optimization. As IP models many provably hard…

Machine Learning · Computer Science 2020-07-22 Yunhao Tang , Shipra Agrawal , Yuri Faenza

Mixed-integer rounding (MIR) cutting planes (cuts) are effective at improving the strength of a linear relaxation for mixed-integer linear programming (MIP) problems. The cuts in this family are derived by aggregating constraints then…

Optimization and Control · Mathematics 2024-12-16 Oscar Guaje , Arnaud Deza , Aleksandr M. Kazachkov , Elias B. Khalil

Integer and mixed-integer nonlinear programming (INLP, MINLP) are central to logistics, energy, and scheduling, but remain computationally challenging. This survey examines how machine learning and reinforcement learning can enhance exact…

Optimization and Control · Mathematics 2025-11-04 Morteza Kimiaei , Vyacheslav Kungurtsev , Brian Olimba

Finding a maximum independent set is a fundamental NP-hard problem that is used in many real-world applications. Given an unweighted graph, this problem asks for a maximum cardinality set of pairwise non-adjacent vertices. Some of the most…

Data Structures and Algorithms · Computer Science 2021-03-30 Demian Hespe , Sebastian Lamm , Christian Schorr

Typical behavior of the linear programming problem (LP) is studied as a relaxation of the minimum vertex cover problem, which is a type of the integer programming problem (IP). To deal with the LP and IP by statistical mechanics, a…

Disordered Systems and Neural Networks · Physics 2014-03-31 Satoshi Takabe , Koji Hukushima

This survey highlights the recent advances in algorithms for numerical linear algebra that have come from the technique of linear sketching, whereby given a matrix, one first compresses it to a much smaller matrix by multiplying it by a…

Data Structures and Algorithms · Computer Science 2015-02-11 David P. Woodruff

In this article we develop a max-strategy improvement algorithm for computing least fixpoints of operators on on the reals that are point-wise maxima of finitely many monotone and order-concave operators. Computing the uniquely determined…

Programming Languages · Computer Science 2012-04-06 Thomas Martin Gawlitza , Helmut Seidl