Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer ...
summary
A hybrid Answer Set Programming model using difference logic encodes machine processing, setup + maintenance windows and flexible assignment of operations to machines, then optimizes overall make span on SMT 2020 semiconductor benchmarks. Instances include hundreds of operations per lot, time‑triggered and count‑triggered PMs, and groupwise tool availability; experiments run with 600s limits show flexible assignment sometimes cuts makespan substantially but often times out on larger instances, and many real factories still schedule parts manually.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:46Semiconductor scheduling context
- 4:40Job Shop scheduling explained
- 8:12Test data in manufacturing
- 10:24Maintenance and setup constraints
- 15:42Scheduling programming approach
- 21:03Experimental results
- 24:29Conclusions and future work
- 25:36Q&A
related talks
21mSoftware for Quantum Computing- Easing Solutions for Complex
55mInteractive Model-based Resource Analysis for Systems Engineers
01h 55mMPS Talk Series 2021. Day 5
42mASP: Theory, Practice, and Beyond
16mRuntime Programmable Switches
01h 15mAdvancing Digital Design: Challenges and Solutions
15mAccelerating SDV with Synopsys Virtual Prototyping and Silicon Lifecycle Management
16mShip Production Software in Minutes, Not Months