English
Related papers

Related papers: Stochastic Planning and Scheduling with Logic-Base…

200 papers

This paper offers a methodological contribution at the intersection of machine learning and operations research. Namely, we propose a methodology to quickly predict expected tactical descriptions of operational solutions (TDOSs). The…

Machine Learning · Computer Science 2022-06-10 Eric Larsen , Sébastien Lachapelle , Yoshua Bengio , Emma Frejinger , Simon Lacoste-Julien , Andrea Lodi

Encoding logical qubits with surface codes and performing multi-qubit logical operations with lattice surgery is one of the most promising approaches to demonstrate fault-tolerant quantum computing. Thus, a method to efficiently schedule a…

Quantum Physics · Physics 2026-04-15 Kou Hamada , Yasunari Suzuki , Yuuki Tokunaga

Stochastic gradient methods are scalable for solving large-scale optimization problems that involve empirical expectations of loss functions. Existing results mainly apply to optimization problems where the objectives are one- or two-level…

Optimization and Control · Mathematics 2018-01-15 Shuoguang Yang , Mengdi Wang , Ethan X. Fang

We survey recent work on machine learning (ML) techniques for selecting cutting planes (or cuts) in mixed-integer linear programming (MILP). Despite the availability of various classes of cuts, the task of choosing a set of cuts to add to…

Optimization and Control · Mathematics 2023-11-01 Arnaud Deza , Elias B. Khalil

Maintenance planning plays a key role in power system operations under uncertainty by helping system operators ensure a reliable and secure power grid. This paper studies a short-term condition-based integrated maintenance planning with…

Optimization and Control · Mathematics 2022-01-13 Bahar Cennet Okumusoglu , Beste Basciftci , Burak Kocuk

Cut generation and lifting are key components for the performance of state-of-the-art mathematical programming solvers. This work proposes a new general cut-and-lift procedure that exploits the combinatorial structure of 0-1 problems via a…

Optimization and Control · Mathematics 2022-01-28 Margarita P. Castro , Andre A. Cire , J. Christopher Beck

Decision making needs to take an uncertain environment into account. Over the last decades, robust optimization has emerged as a preeminent method to produce solutions that are immunized against uncertainty. The main focus in robust…

Optimization and Control · Mathematics 2021-02-11 Marc Goerigk , Michael Hartisch

We introduce a novel variant of cutting production planning problems named Integrated Cutting and Packing Heterogeneous Precast Beams Multiperiod Production Planning (ICP-HPBMPP). We propose an integer linear programming model for the…

Optimization and Control · Mathematics 2020-08-27 Kennedy Araujo , Tiberius Bonates , Bruno Prata

We consider robust tactical crew scheduling for a large passenger railway operator, who aims to inform crew early on about their work schedules while also maintaining the ability to respond to changes in the daily timetables. To resolve…

Optimization and Control · Mathematics 2024-10-10 B. T. C. van Rossum , T. Dollevoet , D. Huisman

In this paper, we consider the network slicing problem which attempts to map multiple customized virtual network requests (also called services) to a common shared network infrastructure and allocate network resources to meet diverse…

Networking and Internet Architecture · Computer Science 2021-02-05 Wei-Kun Chen , Ya-Feng Liu , Yu-Hong Dai , Zhi-Quan Luo

Microgrids are recognized as a relevant tool to absorb decentralized renewable energies in the energy mix. However, the sequential handling of multiple stochastic productions and demands, and of storage, make their management a delicate…

Optimization and Control · Mathematics 2021-06-09 François Pacaud , Michel de Lara , Jean-Philippe Chancelier , Pierre Carpentier

Logic programs with ordered disjunction (LPODs) combine ideas underlying Qualitative Choice Logic (Brewka et al. KR 2002) and answer set programming. Logic programming under answer set semantics is extended with a new connective called…

Artificial Intelligence · Computer Science 2007-05-23 Gerhard Brewka

Next-day delivery logistics services are redefining the industry by increasingly focusing on customer service. A challenge each logistics service provider faces is to jointly optimize time window assignment and vehicle routing for such…

Optimization and Control · Mathematics 2025-01-27 Sifa Celik , Layla Martin , Albert H. Schrotenboer , Tom Van Woensel

We study the two-dimensional hierarchical rectangle packing problem, motivated by applications in analog integrated circuit layout, facility layout, and logistics. Unlike classical strip or bin packing, the dimensions of the container are…

Computational Geometry · Computer Science 2025-12-24 Josef Grus , Zdeněk Hanzálek , Christian Artigues , Cyrille Briand , Emmanuel Hebrard

This work proposes an efficient space-time two-grid compact difference (ST-TGCD) scheme for solving the two-dimensional (2D) viscous Burgers' equation subject to initial and periodic boundary conditions. The proposed approach combines a…

Numerical Analysis · Mathematics 2025-10-20 Xiangyi Peng , Lisen Ding , Wenlin Qiu

The intelligent upgrading of metropolitan rail transit systems has made it feasible to implement demand-side management policies that integrate multiple operational strategies in practical operations. However, the tight interdependence…

Optimization and Control · Mathematics 2025-11-10 Lixing Yang , Yahan Lu , Jiateng Yin , Shadi Sharif Azadeh

This paper introduces two decomposition-based methods for two-block mixed-integer linear programs (MILPs), which aim to take advantage of separable structures of the original problem by solving a sequence of lower-dimensional MILPs. The…

Optimization and Control · Mathematics 2024-01-03 Kaizhao Sun , Mou Sun , Wotao Yin

The COVID-19 pandemic has been a recent example for the spread of a harmful contagion in large populations. Moreover, the spread of harmful contagions is not only restricted to an infectious disease, but is also relevant to computer viruses…

Optimization and Control · Mathematics 2024-04-26 Kübra Tanınmış , Necati Aras , Evren Güney , Markus Sinnl

We consider least squares semidefinite programming (LSSDP) where the primal matrix variable must satisfy given linear equality and inequality constraints, and must also lie in the intersection of the cone of symmetric positive semidefinite…

Optimization and Control · Mathematics 2015-05-26 Defeng Sun , Kim-Chuan Toh , Liuqin Yang

In this paper, we explore a specific optimization problem that combines a differentiable nonconvex function with a nondifferentiable function for multi-block variables, which is particularly relevant to tackle the multilinear…

Optimization and Control · Mathematics 2025-01-10 Zehui Liu , Qingsong Wang , Chunfeng Cui