Sökning: onr:"swepub:oai:DiVA.org:hj-63653" >
An open challenge f...
An open challenge for exact job scheduling with reticle batching in photolithography
-
- Eiter, Thomas (författare)
- Institute of Logic and Computation, Vienna University of Technology, Vienna, Austria
-
- Geibinger, Tobias (författare)
- Institute of Logic and Computation, Vienna University of Technology, Vienna, Austria
-
- Gisbrecht, Andrej (författare)
- Robert Bosch GmbH, Reutlingen, Germany
-
visa fler...
-
- Ruiz, Nelson Higuera (författare)
- Institute of Logic and Computation, Vienna University of Technology, Vienna, Austria
-
- Musliu, Nysret (författare)
- Institute of Logic and Computation, Vienna University of Technology, Vienna, Austria; CD-Lab Artis, TU Wien, Vienna, Austria
-
- Oetsch, Johannes (författare)
- Institute of Logic and Computation, Vienna University of Technology, Vienna, Austria
-
- Stepanova, Daria (författare)
- Bosch Center for AI, Robert Bosch Campus 1, Renningen, Germany
-
visa färre...
-
(creator_code:org_t)
- Association for the Advancement of Artificial Intelligence, 2022
- 2022
- Engelska.
- Relaterad länk:
-
https://icaps22.icap...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- We consider scheduling solutions for photolithography, an important sub-task in semi-conductor production, where patterns are transferred to wafers using reticles. The problem can be modelled as job scheduling on unrelated parallel machines with sequence-dependent setup times and release dates. The reticles add auxiliary-resource constraints for processing jobs. Equipping machines with the right reticles using transport robots from stockers in time renders this problem extremely difficult for exact solvers that use a declarative model. The latter would be attractive as such models tend to be compact and easy to maintain. We present a solver-independent MiniZinc model and provide 500 new benchmark instances. However, only small instances can be solved with state-of-the-art MIP and CP solvers. Consequently, we present this problem as an open challenge with considerable potential for driving improvements towards industrial applications.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)