English
Related papers

Related papers: Strong mixed-integer formulations for the floor la…

200 papers

In this paper we deal with a network of agents seeking to solve in a distributed way Mixed-Integer Linear Programs (MILPs) with a coupling constraint (modeling a limited shared resource) and local constraints. MILPs are NP-hard problems and…

Systems and Control · Computer Science 2020-10-28 Andrea Camisa , Ivano Notarnicola , Giuseppe Notarstefano

This paper presents a novel approach to solve capacitated facility location problems (FLP) that encompass various resource allocation problems. FLPs are a class of NP-hard combinatorial optimization problems, involving optimal placement and…

Optimization and Control · Mathematics 2025-04-03 Alisina Bayati , Dhananjay Tiwari , Srinivasa Salapaka

In modern runtime systems, memory layout calculations are hand-coded in systems languages. Primitives in these languages are not powerful enough to describe a rich set of layouts, leading to reliance on ad-hoc macros, numerous interrelated…

Programming Languages · Computer Science 2019-09-13 Karl Cronburg , Samuel Z. Guyer

We present a novel relaxation framework for general mixed-integer nonlinear programming (MINLP) grounded in computational geometry. Our approach constructs polyhedral relaxations by convexifying finite sets of strategically chosen points,…

Optimization and Control · Mathematics 2026-03-20 Haisheng Zhu , Taotao He , Mohit Tawarmalani

We present a technique for producing valid dual bounds for nonconvex quadratic optimization problems. The approach leverages an elegant piecewise linear approximation for univariate quadratic functions due to Yarotsky, formulating this…

Optimization and Control · Mathematics 2021-03-30 Ben Beach , Robert Hildebrand , Joey Huchette

Mixed-integer quadratic programming is the problem of optimizing a quadratic function over points in a polyhedral set where some of the components are restricted to be integral. In this paper, we prove that the decision version of…

Discrete Mathematics · Computer Science 2014-07-21 Alberto Del Pia , Santanu S. Dey , Marco Molinaro

Integration by parts (IBP) has acquired a bad reputation. While it allows us to compute a wide variety of integrals when other methods fall short, its implementation is often seen as plodding and confusing. Readers familiar with tabular IBP…

History and Overview · Mathematics 2016-06-15 John A. Rock

Mixed-integer optimization is at the core of many online decision-making systems that demand frequent updates of decisions in real time. However, due to their combinatorial nature, mixed-integer linear programs (MILPs) can be difficult to…

Optimization and Control · Mathematics 2026-04-21 Shivi Dixit , Rishabh Gupta , Qi Zhang

We introduce and study a novel generalization of the classical Bin Packing Problem (BPP), called the Bin Packing Problem with Setups (BPPS). In this problem, which has many practical applications in production planning and logistics, the…

Combinatorics · Mathematics 2025-10-06 Roberto Baldacci , Fabio Ciccarelli , Stefano Coniglio , Valerio Dose , Fabio Furini

We attack the 4-level facility location problem (4L-FLP), a critical component in supply chains. Foundational tasks here involve selecting markets, plants, warehouses, and distribution centers to maximize profits while considering related…

Optimization and Control · Mathematics 2025-04-22 Bahram Alidaee , Haibo Wang

As in-space exploration increases, autonomous systems will play a vital role in building the necessary facilities to support exploration. To this end, an autonomous system must be able to assign tasks in a scheme that efficiently completes…

Robotics · Computer Science 2020-03-30 Joshua Moser , Julia Hoffman , Robert Hildebrand , Erik Komendera

We propose an algorithm for generating explicit solutions of multiparametric mixed-integer convex programs to within a given suboptimality tolerance. The algorithm is applicable to a very general class of optimization problems, but is most…

Optimization and Control · Mathematics 2019-06-12 Danylo Malyuta , Behcet Acikmese

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 show how a resource allocation problem can be solved through Integer Linear Programming (ILP). A detailed illustrative example is presented, together with an exhaustive overview of the mathematical model. The size of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-29 Filip De Turck

We propose a dual dynamic integer programming (DDIP) framework for solving multi-scale mixed-integer model predictive control (MPC) problems. Such problems arise in applications that involve long horizons and/or fine temporal…

Optimization and Control · Mathematics 2020-07-21 Ranjeet Kumar , Michael J. Wenzel , Mohammad N. ElBsat , Michael J. Risbeck , Kirk H. Drees , Victor M. Zavala

We consider a discrete optimization formulation for learning sparse classifiers, where the outcome depends upon a linear combination of a small subset of features. Recent work has shown that mixed integer programming (MIP) can be used to…

Machine Learning · Statistics 2021-06-08 Antoine Dedieu , Hussein Hazimeh , Rahul Mazumder

The matched interface and boundary (MIB) method has a proven ability for delivering the second order accuracy in handling elliptic interface problems with arbitrarily complex interface geometries. However, its collocation formulation…

Numerical Analysis · Mathematics 2015-09-04 Yin Cao , Bao Wang , Kelin Xia , Guowi Wei

We propose a machine learning approach for quickly solving Mixed Integer Programs (MIP) by learning to prioritize a set of decision variables, which we call pseudo-backdoors, for branching that results in faster solution times.…

Machine Learning · Computer Science 2021-06-10 Aaron Ferber , Jialin Song , Bistra Dilkina , Yisong Yue

Basis path testing is a cornerstone of structural testing, yet traditional automated methods, relying on greedy graph-traversal algorithms (e.g., DFS/BFS), often generate sub-optimal paths. This structural inferiority is not a trivial…

Software Engineering · Computer Science 2026-01-12 Chao Wei , Xinyi Peng , Yawen Yan , Mao Luo , Ting Cai

In this paper we analyze a continuous version of the maximal covering location problem, in which the facilities are required to be interconnected by means of a graph structure in which two facilities are allowed to be linked if a given…

Optimization and Control · Mathematics 2020-05-08 Víctor Blanco , Ricardo Gázquez