English
Related papers

Related papers: Constraint Propagation on GPU: A Case Study for th…

200 papers

This paper introduces the Packing While Traveling problem as a new non-linear knapsack problem. Given are a set of cities that have a set of items of distinct profits and weights and a vehicle that may collect the items when visiting all…

Data Structures and Algorithms · Computer Science 2017-03-22 Sergey Polyakovskiy , Frank Neumann

We consider a general class of binary packing problems with a convex quadratic knapsack constraint. We prove that these problems are APX-hard to approximate and present constant-factor approximation algorithms based upon three different…

Optimization and Control · Mathematics 2019-12-19 Max Klimm , Marc E. Pfetsch , Rico Raber , Martin Skutella

Propagation of linear constraints has become a crucial sub-routine in modern Mixed-Integer Programming (MIP) solvers. In practice, iterative algorithms with tolerance-based stopping criteria are used to avoid problems with slow or infinite…

Optimization and Control · Mathematics 2021-08-25 Boro Sofranac , Ambros Gleixner , Sebastian Pokutta

This paper studies binary linear programming problems in the presence of uncertainties that may cause solution values to change during implementation. This type of uncertainty, termed implementation uncertainty, is modeled explicitly…

Optimization and Control · Mathematics 2021-09-29 Jose E. Ramirez-Calderon , V. Jorge Leon

Particle swarm optimization is used in several combinatorial optimization problems. In this work, particle swarms are used to solve quadratic programming problems with quadratic constraints. The approach of particle swarms is an example for…

Artificial Intelligence · Computer Science 2014-07-24 Deepak Kumar , A G Ramakrishnan

We propose a reduced-space formulation for optimizing over trained neural networks where the network's outputs and derivatives are evaluated on a GPU. To do this, we treat the neural network as a "gray box" where intermediate variables and…

Machine Learning · Computer Science 2025-12-10 Robert Parker , Oscar Dowson , Nicole LoGiudice , Manuel Garcia , Russell Bent

Binary optimization is a central problem in mathematical optimization and its applications are abundant. To solve this problem, we propose a new class of continuous optimization techniques which is based on Mathematical Programming with…

Optimization and Control · Mathematics 2017-12-07 Ganzhao Yuan , Bernard Ghanem

Computing lower and upper bounds on the competitive ratio of online algorithms is a challenging question: For a minimization combinatorial problem, proving a competitive ratio for a given algorithm leads to an upper bound. However computing…

Computer Science and Game Theory · Computer Science 2022-12-19 Antoine Lhomme , Olivier Romane , Nicolas Catusse , Nadia Brauner

We consider the online bin packing problem under the advice complexity model where the 'online constraint' is relaxed and an algorithm receives partial information about the future requests. We provide tight upper and lower bounds for the…

Data Structures and Algorithms · Computer Science 2013-12-24 Joan Boyar , Shahin Kamali , Kim S. Larsen , Alejandro López-Ortiz

The Knapsack Problem is a classic problem in combinatorial optimisation. Solving these problems may be computationally expensive. Recent years have seen a growing interest in the use of deep learning methods to approximate the solutions to…

Machine Learning · Computer Science 2023-12-07 Mitchell Keegan , Mahdi Abolghasemi

This paper presents a model and implementation techniques for speeding up constraint propagation. Three fundamental approaches to improving constraint propagation based on propagators as implementations of constraints are explored: keeping…

Artificial Intelligence · Computer Science 2010-09-03 Christian Schulte , Peter J. Stuckey

Consider the classical Bin Packing problem with $d$ different item sizes $s_i$ and amounts of items $a_i.$ The support of a Bin Packing solution is the number of differently filled bins. In this work, we show that the lower bound on the…

Data Structures and Algorithms · Computer Science 2026-03-31 Klaus Jansen , Felix Ohnesorge , Lis Pirotton , Malte Tutas

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framework for solving these packing problems to optimality, it is…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Joerg Schepers

We present new approximation schemes for bin packing based on the following two approaches: (1) partitioning the given problem into mostly identical sub-problems of constant size and then construct a solution by combining the solutions of…

Data Structures and Algorithms · Computer Science 2019-02-12 Srikrishnan Divakaran

Constraint programming (CP) has been used with great success to tackle a wide variety of constraint satisfaction problems which are computationally intractable in general. Global constraints are one of the important factors behind the…

Artificial Intelligence · Computer Science 2009-03-04 Alan Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Toby Walsh

Eulerian nonlinear uncertainty propagation methods often suffer from finite domain limitations and computational inefficiencies. A recent approach to this class of algorithm, Grid-based Bayesian Estimation Exploiting Sparsity, addresses the…

Chaotic Dynamics · Physics 2025-08-20 Benjamin L. Hanson , Carlos Rubio , Adrián García-Gutiérrez , Thomas Bewley

We present a general method for obtaining strong bounds for discrete optimization problems that is based on a concept of branching duality. It can be applied when no useful integer programming model is available, and we illustrate this with…

Data Structures and Algorithms · Computer Science 2019-08-22 J. G. Benade , J. N. Hooker

Bayesian optimisation has proven to be a powerful tool for expensive global black-box optimisation problems. In this paper, we propose new Bayesian optimisation variants of the popular Knowledge Gradient acquisition functions for problems…

Machine Learning · Computer Science 2025-12-22 Xietao Wang Lin , Juan Ungredda , Max Butler , James Town , Alma Rahat , Hemant Singh , Juergen Branke

Bin packing is a well studied problem involved in many applications. The classical bin packing problem is about minimising the number of bins and ignores how the bins are utilised. We focus in this paper, on a variant of bin packing that is…

Data Structures and Algorithms · Computer Science 2015-09-23 Hadrien Cambazard , Deepak Mehta , Barry O'Sullivan , Helmut Simonis

Numerical analysis has no satisfactory method for the more realistic optimization models. However, with constraint programming one can compute a cover for the solution set to arbitrarily close approximation. Because the use of constraint…

Numerical Analysis · Mathematics 2025-10-20 M. H. van Emden , B. Moa