ROADEF 2026>
Column Generation for Semiconductor Manufacturing Scheduling with Family Qualification and Secondary Resource Constraints
Arthur Kramer  1@  , Claude Yugma  2@  
1 : LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
Mines Saint-Etienne, Univ Clermont Auvergne, CNRS, UMR 6158 LIMOS, Institut Henri Fayol, F - 42023 Saint-Etienne, France
2 : Centre Microélectronique de Provence  (ENSM-SE)
Ecole Nationale Supérieure des Mines de Saint-Etienne
880 Avenue de Mimet 13541 Gardanne -  France

In this work, we address a scheduling problem arising in the photolithography stage of semiconductor wafer fabrication. Photolithography is a well-known bottleneck in wafer fabs because stepper machines are extremely expensive and significantly costlier than most other tools. As a result, efficient scheduling at this stage is central for improving overall fab performance. Although stepper scheduling has been widely studied, the combined integration of qualification constraints and send-ahead wafers has received far less attention. The present study builds on these contributions by explicitly incorporating re-qualification mechanisms via send-ahead wafers and modeling secondary resource constraints associated with mask availability. We model this problem as a integer linear extended formulation and propose a column generation algorithm to solve its relaxation and to obtain feasible solutions. Preliminary results show that the linear relaxation by the column generation is much tighter than the the one by a compact model.


Chargement... Chargement...