Modern semiconductor manufacturing involves intricate production processes consisting of hundreds of operations, which can take several months from lot release to completion. The high-tech machines used in these processes are diverse, operate on individual wafers, lots, or batches in multiple stages, and necessitate product-specific setups and specialized maintenance procedures. This situation is different from traditional job-shop scheduling scenarios, which have less complex production processes and machines, and mainly focus on solving highly combinatorial but abstract scheduling problems. In this work, we address the scheduling of realistic semiconductor manufacturing processes by modeling their specific requirements using hybrid Answer Set Programming with difference logic, incorporating flexible machine processing, setup, batching and maintenance operations. Unlike existing methods that schedule semiconductor manufacturing processes locally with greedy heuristics or by independently optimizing specific machine group allocations, we examine the potentials of large-scale scheduling subject to multiple optimization objectives.

翻译：现代半导体制造涉及由数百道工序组成的复杂生产过程，从晶圆投放到完成可能需要数月时间。这些过程中使用的高科技设备种类繁多，可在多个阶段对单个晶圆、晶圆批或批次进行操作，并且需要针对特定产品的设置和专门的维护程序。这种情况不同于传统的作业车间调度场景——后者生产过程与设备复杂度较低，主要聚焦于解决高度组合但抽象的调度问题。在本工作中，我们通过使用带差分逻辑的混合回答集编程对半导体制造过程的特定需求进行建模，将灵活的机器加工、设置、批处理和维护操作纳入考量，从而处理现实半导体制造过程的调度问题。与现有方法采用贪心启发式算法局部调度半导体制造过程或独立优化特定设备组分配不同，我们探讨了面向多优化目标的大规模调度的潜在可能性。