English
Related papers

Related papers: Juniper: An Open-Source Nonlinear Branch-and-Bound…

200 papers

In this paper, we consider the canonical water network design problem, which contains nonconvex potential loss functions and discrete resistance choices with varying costs. Traditionally, to resolve the nonconvexities of this problem,…

Optimization and Control · Mathematics 2020-10-08 Byron Tasseff , Russell Bent , Marina A. Epelman , Donatella Pasqualini , Pascal Van Hentenryck

Program synthesis -- the automatic generation of code given a specification -- is one of the most fundamental tasks in artificial intelligence (AI) and the dream of many programmers. Numerous synthesizers have been developed for program…

We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in…

Optimization and Control · Mathematics 2026-05-26 Benoit Legat , Oscar Dowson , Joaquim Dias Garcia , Miles Lubin

Decentralized optimization strategies are helpful for various applications, from networked estimation to distributed machine learning. This paper studies finite-sum minimization problems described over a network of nodes and proposes a…

Systems and Control · Electrical Eng. & Systems 2024-08-06 Mohammadreza Doostmohammadian , Zulfiya R. Gabidullina , Hamid R. Rabiee

Quadratic constrained quadratic programming problems often occur in various fields such as engineering practice, management science, and network communication. This article mainly studies a non convex quadratic programming problem with…

Optimization and Control · Mathematics 2023-12-29 Bo Zhang , YueLin Gao , Xia Liu , XiaoLi Huang

In this paper we present GridapTopOpt, an extendable framework for level set-based topology optimisation that can be readily distributed across a personal computer or high-performance computing cluster. The package is written in Julia and…

Mathematical Software · Computer Science 2026-01-26 Zachary J. Wegert , Jordi Manyer , Connor Mallon , Santiago Badia , Vivien J. Challis

In multi-objective optimization, several potentially conflicting objective functions need to be optimized. Instead of one optimal solution, we look for the set of so called non-dominated solutions. An important subset is the set of…

Discrete Mathematics · Computer Science 2023-04-24 Fritz Bökler , Levin Nemesch , Mirko H. Wagner

Quadratic programming (QP) is a well-studied fundamental NP-hard optimization problem which optimizes a quadratic objective over a set of linear constraints. In this paper, we reformulate QPs as a mixed-integer linear problem (MILP). This…

Optimization and Control · Mathematics 2018-07-17 Wei Xia , Juan Vera , Luis F. Zuluaga

Current state-of-the-art methods for solving discrete optimization problems are usually restricted to convex settings. In this paper, we propose a general approach based on cutting planes for solving nonlinear, possibly nonconvex, binary…

Optimization and Control · Mathematics 2022-03-21 Hoa T. Bui , Qun Lin , Ryan Loxton

Modern Mixed Integer Linear Programming (MILP) solvers use the Branch-and-Bound algorithm together with a plethora of auxiliary components that speed up the search. In recent years, there has been an explosive development in the use of…

Optimization and Control · Mathematics 2024-11-28 Lara Scavuzzo , Karen Aardal , Neil Yorke-Smith

In this article, we propose an interval constraint programming method for globally solving catalog-based categorical optimization problems. It supports catalogs of arbitrary size and properties of arbitrary dimension, and does not require…

Optimization and Control · Mathematics 2024-01-23 Charlie Vanaret

Motivated by the increasing availability of high-performance parallel computing, we design a distributed parallel algorithm for linearly-coupled block-structured nonconvex constrained optimization problems. Our algorithm performs…

Optimization and Control · Mathematics 2021-12-17 Anirudh Subramanyam , Youngdae Kim , Michel Schanen , François Pacaud , Mihai Anitescu

Challenges in last-mile delivery have encouraged innovative solutions like crowdsourced delivery, where online platforms leverage the services of drivers who occasionally perform delivery tasks for compensation. A key challenge is that…

Optimization and Control · Mathematics 2026-03-23 Alim Buğra Çınar , Claudia Archetti , Wout Dullaert , Markus Leitner , Stefan Waldherr

In this paper, we present the first outer approximation algorithm for multi-objective mixed-integer linear programming problems with any number of objectives. The algorithm also works for certain classes of non-linear programming problems.…

Optimization and Control · Mathematics 2022-05-04 Fritz Bökler , Sophie N. Parragh , Markus Sinnl , Fabien Tricoire

TensorKit.jl is a Julia-based software package for tensor computations, especially focusing on tensors with internal symmetries. This paper introduces the design philosophy, core functionalities, and distinctive features, including how to…

Mathematical Software · Computer Science 2025-08-15 Lukas Devos , Jutho Haegeman

Nonlinear conjugate gradients are among the most popular techniques for solving continuous optimization problems. Although these schemes have long been studied from a global convergence standpoint, their worst-case complexity properties…

Optimization and Control · Mathematics 2022-09-01 Rémi Chan--Renous-Legoubin , Clément W. Royer

GPUs and other accelerators are popular devices for accelerating compute-intensive, parallelizable applications. However, programming these devices is a difficult task. Writing efficient device code is challenging, and is typically done in…

Programming Languages · Computer Science 2018-10-23 Tim Besard , Christophe Foket , Bjorn De Sutter

In this paper, we mainly study one class of mixed-integer nonlinear programming problems (MINLPs) with vector conic constraint in Banach spaces. Duality theory of convex vector optimization problems applied to this class of MINLPs is deeply…

Optimization and Control · Mathematics 2015-09-15 Zhou Wei , M. Montaz Ali

Mixed Integer Linear Programming (MILP) is a fundamental tool for modeling combinatorial optimization problems. Recently, a growing body of research has used machine learning to accelerate MILP solving. Despite the increasing popularity of…

Machine Learning · Computer Science 2024-10-29 Weimin Huang , Taoan Huang , Aaron M Ferber , Bistra Dilkina

We propose a novel Linear Program (LP) based formula- tion for solving jigsaw puzzles. We formulate jigsaw solving as a set of successive global convex relaxations of the stan- dard NP-hard formulation, that can describe both jigsaws with…

Computer Vision and Pattern Recognition · Computer Science 2015-11-17 Rui Yu , Chris Russell , Lourdes Agapito