中文
相关论文

相关论文: Solving Assembly Line Balancing Problems by Combin…

200 篇论文

This paper addresses the incompatible case of parallel batch scheduling, where compatible jobs belong to the same family, and jobs from different families cannot be processed together in the same batch. The state-of-the-art constraint…

系统与控制 · 电气工程与系统科学 2025-09-09 Jorge A. Huertas , Pascal Van Hentenryck

The European market clearing problem is characterized by a set of heterogeneous orders and rules that force the implementation of heuristic and iterative solving methods. In particular, curtailable block orders and the uniform purchase…

In this work, we focus on separable convex optimization problems with linear and box constraints and compute the solution in closed-form as a function of some Lagrange multipliers that can be easily computed in a finite number of…

信息论 · 计算机科学 2014-03-25 Antonio A. D'Amico , Luca Sanguinetti , Daniel P. Palomar

Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encodings to Boolean satisfiability (SAT) format of conjunctive normal…

计算机科学中的逻辑 · 计算机科学 2020-05-06 Ignasi Abío , Valentin Mayer-Eichberger , Peter Stuckey

This paper examines scheduling problem denoted as $P|seq, ser|C_{max}$ in Graham's notation; in other words, scheduling of tasks on parallel identical machines ($P$) with sequence-dependent setups ($seq$) each performed by one of the…

计算机科学与博弈论 · 计算机科学 2023-06-01 Vilém Heinz , Antonín Novák , Marek Vlk , Zdeněk Hanzálek

Many problems of interest for cyber-physical network systems can be formulated as Mixed Integer Linear Programs in which the constraints are distributed among the agents. In this paper we propose a distributed algorithm to solve this class…

最优化与控制 · 数学 2017-12-06 Andrea Testa , Alessandro Rucco , Giuseppe Notarstefano

Many AI synthesis problems such as planning or scheduling may be modelized as constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all…

人工智能 · 计算机科学 2013-03-25 Thomas Schiex

In a co-design environment changes need to be integrated quickly and in an automated manner. This paper considers the challenge of creating and optimizing a global logistics system for the construction of a passenger aircraft within a…

人工智能 · 计算机科学 2023-08-31 Emmanuelle Dietz , Tobias Philipp , Gerrit Schramm , Andreas Zindel

While many approaches have been proposed to analyze the problem of matrix multiplication parallel computing, few of them address the problem on heterogeneous processor platforms. It still remains an open question on heterogeneous processor…

网络与互联网体系结构 · 计算机科学 2018-12-18 Yang Liu , Li Shi , Junwei Zhang , Thomas G. Robertazzi

The Bin Packing Problem involves efficiently packing items into a limited number of bins without exceeding their capacity. In this paper, we try to answer a specific question in this field. Mathematically the combinatorial optimization…

综合数学 · 数学 2025-08-25 Angshuman Robin Goswami

In serial batch (s-batch) scheduling, jobs from similar families are grouped into batches and processed sequentially to avoid repetitive setups that are required when processing consecutive jobs of different families. Despite its large…

人工智能 · 计算机科学 2025-11-21 Jorge A. Huertas , Pascal Van Hentenryck

It is a well known fact that finite time optimal controllers, such as MPC does not necessarily result in closed loop stable systems. Within the MPC community it is common practice to add a final state constraint and/or a final state penalty…

最优化与控制 · 数学 2016-04-05 Daniel Simon , Johan Löfberg

The Simple Assembly Line Balancing Problem with Power Peak Minimization (SALBP-3PM) minimizes maximum instantaneous power usage while assigning $n$ tasks to $m$ workstations and determining execution schedules within given cycle time…

计算机科学中的逻辑 · 计算机科学 2025-12-15 Tuyen Van Kieu , Phong Chi Nguyen , Bao Gia Hoang , Khanh Van To

Combinatorial optimization problems are computationally hard in general, but they are ubiquitous in our modern life. A coherent Ising machine (CIM) based on a multiple-pulse degenerate optical parametric oscillator (DOPO) is an alternative…

Constraint satisfaction problem (CSP) has been actively used for modeling and solving a wide range of complex real-world problems. However, it has been proven that developing efficient methods for solving CSP, especially for large problems,…

人工智能 · 计算机科学 2021-06-10 Zouhayra Ayadi , Wadii Boulila , Imed Riadh Farah

Constraint Programming (CP) users need significant expertise in order to model their problems appropriately, notably to select propagators and search strategies. This puts the brakes on a broader uptake of CP. In this paper, we introduce…

人工智能 · 计算机科学 2016-11-29 Thierry Petit

We suggest an adaptive version of a partial linearization method for composite optimization problems. The goal function is the sum of a smooth function and a non necessary smooth convex separable function, whereas the feasible set is the…

最优化与控制 · 数学 2016-05-26 I. V. Konnov

Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very different, these languages show two common features: they…

软件工程 · 计算机科学 2023-09-29 Camille Salinesi , Raul Mazo , Daniel Diaz , Olfa Djebbi

Real world combinatorial optimization problems such as scheduling are typically too complex to solve with exact methods. Additionally, the problems often have to observe vaguely specified constraints of different importance, the available…

人工智能 · 计算机科学 2007-05-23 Andreas Raggl , Wolfgang Slany

In this paper we investigate how standard nonlinear programming algorithms can be used to solve constrained optimization problems in a distributed manner. The optimization setup consists of a set of agents interacting through a…

最优化与控制 · 数学 2017-07-18 Ion Matei , John S. Baras