中文
相关论文

相关论文: Exploring Mixed Integer Programming Reformulations…

200 篇论文

Probing in mixed-integer programming (MIP) is a technique of temporarily fixing variables to discover implications that are useful to branch-and-cut solvers. Such fixing is typically performed one variable at a time -- this paper develops…

最优化与控制 · 数学 2025-11-11 Yongzheng Dai , Chen Chen

This paper presents a comprehensive theoretical analysis of six distinct Mixed-Integer Programming (MIP) formulations for preventive Generator Maintenance Scheduling (GMS), a critical problem for ensuring the reliability and efficiency of…

最优化与控制 · 数学 2025-02-14 Tiago Andrade

Mixed-Integer Programs (MIPs) are NP-hard optimization models that arise in a broad range of decision-making applications, including finance, logistics, energy systems, and network design. Although modern commercial solvers have achieved…

Query workloads and database schemas in OLAP applications are becoming increasingly complex. Moreover, the queries and the schemas have to continually \textit{evolve} to address business requirements. During such repetitive transitions, the…

数据库 · 计算机科学 2015-03-19 Hideaki Kimura , Carleton Coffrin , Alexander Rasin , Stanley B. Zdonik

This paper introduces a novel compact mixed integer linear programming (MILP) formulation and a discretization discovery-based solution approach for the Vehicle Routing Problem with Time Windows (VRPTW). We aim to solve the optimization…

最优化与控制 · 数学 2024-03-04 Udayan Mandal , Amelia Regan , Louis Martin Rousseau , Julian Yarkony

Motivated by current trends in cloud computing, we study a version of the generalized assignment problem where a set of virtual processors has to be implemented by a set of identical processors. For literature consistency, we say that a set…

数据结构与算法 · 计算机科学 2014-06-11 Jordi Arjona Aroca , Antonio Fernandez Anta , Miguel A. Mosteiro , Christopher Thraves , Lin Wang

Mixed-Integer Second-Order Cone Programs (MISOCPs) form a nice class of mixed-inter convex programs, which can be solved very efficiently due to the recent advances in optimization solvers. Our paper bridges the gap between modeling a class…

最优化与控制 · 数学 2022-06-22 Amir Ahmadi-Javid , Pooya Hoseinpour

Virtual machine (VM) scheduling is an important technique to efficiently operate the computing resources in a data center. Previous work has mainly focused on consolidating VMs to improve resource utilization and thus to optimize energy…

分布式、并行与集群计算 · 计算机科学 2014-04-22 Xibo Jin , Fa Zhang , Lin Wang , Songlin Hu , Biyu Zhou , Zhiyong Liu

Configuration integer programs (IP) have been key in the design of algorithms for NP-hard high-multiplicity problems since the pioneering work of Gilmore and Gomory [Oper. Res., 1961]. Configuration IPs have a variable for each possible…

数据结构与算法 · 计算机科学 2019-09-17 Dušan Knop , Martin Koutecký , Asaf Levin , Matthias Mnich , Shmuel Onn

It is significant to apply load-balancing strategy to improve the performance and reliability of resource in data centers. One of the challenging scheduling problems in Cloud data centers is to take the allocation and migration of…

分布式、并行与集群计算 · 计算机科学 2015-08-27 Minxian Xu , Guangchun Luo , Ling Tian , Aiguo Chen , Yaqiu Jiang , Guozhong Li , Wenhong Tian

The paper addresses the Vehicle Relocation Problem in free-floating car-sharing services by presenting a solution focused on strategies for repositioning vehicles and transferring personnel with the use of scooters. Our method begins by…

机器学习 · 计算机科学 2025-11-12 Piotr Szwed , Paweł Skrzynski , Jarosław Wąs

This paper introduces weighted-BMP, a variant of the Bandwidth Minimization Problem (BMP), with a significant application in optimizing quantum emulation. Weighted-BMP optimizes particles ordering to reduce the emulation costs, by designing…

Autonomous vehicle (AV) motion planning problems often involve non-convex constraints, which present a major barrier to applying model predictive control (MPC) in real time on embedded hardware. This paper presents an approach for…

系统与控制 · 电气工程与系统科学 2026-03-03 Joshua A. Robbins , Jacob A. Siefert , Sean Brennan , Herschel C. Pangborn

Mixed integer predictive control deals with optimizing integer and real control variables over a receding horizon. The mixed integer nature of controls might be a cause of intractability for instances of larger dimensions. To tackle this…

最优化与控制 · 数学 2010-03-16 Dario Bauso

We consider integer programming problems with bounded general-integer variables belonging to the general class of network flow problems. For those, we computationally investigate the effect on mixed-integer linear programming (MIP) solvers…

最优化与控制 · 数学 2026-04-09 Pierre Bonami , Sanjeeb Dash , Anton Derkach , Andrea Lodi

Among the most famous algorithms for solving classification problems are support vector machines (SVMs), which find a separating hyperplane for a set of labeled data points. In some applications, however, labels are only available for a…

最优化与控制 · 数学 2023-10-17 Jan Pablo Burgard , Maria Eduarda Pinheiro , Martin Schmidt

In this paper, we propose two exact distributed algorithms to solve mixed integer linear programming (MILP) problems with multiple agents where data privacy is important for the agents. A key challenge is that, because of the non-convex…

最优化与控制 · 数学 2022-05-03 Mohammad Javad Feizollahi

Every year, the computing resources available on dynamically partially reconfigurable devices increase enormously. In the near future, we expect many applications to run on a single reconfigurable device. In this paper, we present a concept…

硬件体系结构 · 计算机科学 2010-01-26 Josef Angermeier , Sandor P. Fekete , Tom Kamphans , Nils Schweer , Juergen Teich

In this work, the online printing shop scheduling problem is considered. This challenging real problem, that appears in the nowadays printing industry, can be seen as a flexible job shop scheduling problem with sequence flexibility in which…

最优化与控制 · 数学 2022-02-22 Willian T. Lunardi , Ernesto G. Birgin , Philippe Laborie , Débora P. Ronconi , Holger Voos

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…