Abstract
The complex production processes in modern semiconductor manufacturing involve hundreds of operations on the route of a production lot, so that the period from lot release to completion can stretch over several months. Moreover, high-tech machines performing each of the operations are heterogeneous, may operate on individual wafers, lots or batches of lots in several stages, and require product-specific setups as well as dedicated maintenance procedures. This industrial setting is in sharp contrast to classical job-shop scheduling scenarios, where the production processes and machines are way less diverse and the primary focus is on solving methods for highly combinatorial yet abstract scheduling problems. In this work, we tackle the scheduling of realistic semiconductor manufacturing processes and model their elaborate requirements in hybrid Answer Set Programming, taking advantage of difference logic to incorporate machine processing, setup as well as maintenance times. While existing approaches schedule semiconductor manufacturing processes only locally, by applying greedy heuristics or isolatedly optimizing the allocation of particular machine groups, we study the prospects and limitations of scheduling at large scale.
Originalsprache | englisch |
---|---|
Titel | Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings |
Redakteure/-innen | Michael Hanus, Daniela Inclezan |
Herausgeber (Verlag) | Springer Science and Business Media Deutschland GmbH |
Seiten | 85-95 |
Seitenumfang | 11 |
ISBN (Print) | 9783031248405 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2023 |
Veranstaltung | 25th International Conference on Practical Aspects of Declarative Languages: PADL 2023 - Boston Park Plaza, Boston, USA / Vereinigte Staaten Dauer: 16 Jan. 2023 → 17 Jan. 2023 https://popl23.sigplan.org/home/PADL-2023 |
Publikationsreihe
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Band | 13880 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | 25th International Conference on Practical Aspects of Declarative Languages |
---|---|
Kurztitel | PADL 2023 |
Land/Gebiet | USA / Vereinigte Staaten |
Ort | Boston |
Zeitraum | 16/01/23 → 17/01/23 |
Internetadresse |
ASJC Scopus subject areas
- Theoretische Informatik
- Allgemeine Computerwissenschaft