English
Related papers

Related papers: New symmetries in mixed-integer linear optimizatio…

200 papers

Users of heterogeneous computing systems face two problems: firstly, in understanding the trade-off relationships between the observable characteristics of their applications, such as latency and quality of the result, and secondly, how to…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-03-15 Gordon Inggs , David B. Thomas , Wayne Luk

The template design problem (TDP) is a hard combinatorial problem with a high number of symmetries which makes solving it more complicated. A number of techniques have been proposed in the literature to optimise its resolution, ranging from…

Neural and Evolutionary Computing · Computer Science 2024-11-22 David Rodríguez Rueda , Carlos Cotta , Antonio J. Fernández-Leiva

Exploiting symmetries in tensor network algorithms plays a key role for reducing the computational and memory costs. Here we explain how to incorporate the Hermitian symmetry in double-layer tensor networks, which naturally arise in methods…

Strongly Correlated Electrons · Physics 2025-01-27 Oscar van Alphen , Stijn V. Kleijweg , Juraj Hasik , Philippe Corboz

We present a solver for Mixed Integer Programs (MIP) developed for the MIP competition 2022. Given the 10 minutes bound on the computational time established by the rules of the competition, our method focuses on finding a feasible solution…

Artificial Intelligence · Computer Science 2022-06-22 Warley Almeida Silva , Federico Bobbio , Flore Caye , Defeng Liu , Justine Pepin , Carl Perreault-Lafleur , William St-Arnaud

This study evaluates the performance of a quantum-classical metaheuristic and a traditional classical mathematical programming solver, applied to two mathematical optimization models for an industry-relevant scheduling problem with…

Quantum Physics · Physics 2025-07-30 Florian Krellner , Abhishek Awasthi , Nico Kraus , Sarah Braun , Michael Poppel , Daniel Porawski

Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions…

Logic in Computer Science · Computer Science 2023-06-22 Damiano Azzolini , Fabrizio Riguzzi

We give a review of modern approaches to constructing formal solutions to integrable hierarchies of mathematical physics, whose coefficients are answers to various enumerative problems. The relationship between these approaches and…

Combinatorics · Mathematics 2015-12-23 M. Kazarian , S. Lando

Enhancing existing transmission lines is a useful tool to combat transmission congestion and guarantee transmission security with increasing demand and boosting the renewable energy source. This study concerns the selection of lines whose…

Optimization and Control · Mathematics 2022-07-20 Jian Liu , Rui Bo , Siyuan Wang

Symmetry is an important problem in many combinatorial problems. One way of dealing with symmetry is to add constraints that eliminate symmetric solutions. We survey recent results in this area, focusing especially on two common and useful…

Artificial Intelligence · Computer Science 2012-04-18 Toby Walsh

Mixed-Integer Linear Programming (MILP) is a foundational tool for complex decision-making problems. However, the NP-hard nature of MILP presents a significant computational challenge, motivating the development of machine learning-based…

Optimization and Control · Mathematics 2026-03-03 Hongpei Li , Hui Yuan , Han Zhang , Jianghao Lin , Dongdong Ge , Mengdi Wang , Yinyu Ye

Mathematical programming is a branch of applied mathematics and has recently been used to derive new decoding approaches, challenging established but often heuristic algorithms based on iterative message passing. Concepts from mathematical…

Information Theory · Computer Science 2014-04-29 Michael Helmling , Stefan Ruzika , Akin Tanatmis

Following the recent push for trustworthy AI, there has been an increasing interest in developing contrastive explanation techniques for optimisation, especially concerning the solution of specific decision-making processes formalised as…

Artificial Intelligence · Computer Science 2025-07-18 Roger Xavier Lera-Leri , Filippo Bistaffa , Athina Georgara , Juan Antonio Rodriguez-Aguilar

Motivated by the need of quick job (re-)scheduling, we examine an elaborate scheduling environment under the objective of total weighted tardiness minimization. The examined problem variant moves well beyond existing literature, as it…

Optimization and Control · Mathematics 2023-07-14 Ioannis Avgerinos , Ioannis Mourtos , Stavros Vatikiotis , Georgios Zois

Feasible binary programs often have multiple optimal solutions, which is of interest in applications as they allow the user to choose between alternative optima without deteriorating the objective function. In this article, we present the…

Optimization and Control · Mathematics 2020-08-18 Thomas R. Cameron , Sebastian Charmot , Jonad Pulaj

In this paper, we focus on the solution of a hard single machine scheduling problem by new heuristic algorithms embedding techniques from machine learning field and scheduling theory. These heuristics transform an instance of the hard…

Optimization and Control · Mathematics 2021-01-05 Axel Parmentier , Vincent T'Kindt

This work focuses on support vector machine (SVM) with feature selection. A MILP formulation is proposed for the problem. The choice of suitable features to construct the separating hyperplanes has been modelled in this formulation by…

Optimization and Control · Mathematics 2018-08-08 Martine Labbé , Luisa I. Martínez-Merino , Antonio M. Rodríguez-Chía

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Optimization and Control · Mathematics 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

Mixed-Integer Linear Programming (MILP) plays an important role across a range of scientific disciplines and within areas of strategic importance to society. The MILP problems, however, suffer from combinatorial complexity. Because of…

Optimization and Control · Mathematics 2023-01-06 Mikhail A. Bragin , Emily L. Tucker

In this paper, we present a novel method for solving multiobjective linear programming problems (MOLPP) that overcomes the need to calculate the optimal value of each objective function. This method is a follow-up to our previous work on…

Optimization and Control · Mathematics 2024-07-02 Mustapha Kaci , Sonia Radjef

A current trend in networking and cloud computing is to provide compute resources at widely dispersed places; this is exemplified by developments such as Network Function Virtualisation. This paves the way for wide-area service deployments…

Networking and Internet Architecture · Computer Science 2016-08-31 Matthias Keller , Holger Karl