Scheduling of Dual Resource Constrained Lithography Production: Using CP and MIP/CP

A dual resource constrained (DRC) scheduling problem arises at the photolithography area in semiconductor manufacturing wherein reticles are required as an auxiliary resource. Reticles are transferred from one place to another. While this shared resource gives the manufacturer a flexibility, it certainly gives rise to a complex DRC scheduling problem surrounded by jobs, machines, and reticles, restricted by sequence-dependent setup-time and location-dependent reticle transfer-time. This study proposes a constraint programming (CP) approach and investigates methods for improving our initial CP using a hybrid method and variable ordering heuristic. Experiments indicate the variable ordering heuristic brings a significant improvement over a pure CP. Note to Practitioners—There has been yet no successful exact approach that addresses litho scheduling problem, covering jobs, machines, and reticles. This study demonstrates CP is able to find an optimal solution for most of realistic industry-size test problems. In a future smart semiconductor factory, seamlessly orchestrating machines, reticles, and jobs would not be the end state. The next level is to integrate material handling system to this already overcrowded production scheduling problem. The specialized keywords of CP, as demonstrated in this study, will enable practitioners to develop a concise code of integrating vehicles, jobs, machines, and reticles.

[1]  Petr Vilím,et al.  Failure-Directed Search for Constraint-Based Scheduling , 2015, CPAIOR.

[2]  Eray Cakici,et al.  Flexible job shop scheduling problem with parallel batch processing machines: MIP and CP approaches , 2016 .

[3]  John W. Fowler,et al.  Constraint Programming Approach for Scheduling Jobs With Release Times, Non-Identical Sizes, and Incompatible Families on Parallel Batching Machines , 2017, IEEE Transactions on Semiconductor Manufacturing.

[4]  Philippe Laborie,et al.  IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems , 2009, CPAIOR.

[5]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[6]  Andy Ham,et al.  Flexible job shop scheduling problem with parallel batch processing machine , 2016, 2016 Winter Simulation Conference (WSC).

[7]  David Hanny Increase fab capacity: With predictive short-interval scheduling , 2011, 2011 IEEE/SEMI Advanced Semiconductor Manufacturing Conference.

[8]  J. Christopher Beck,et al.  A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes , 2016, CP.

[9]  Myeonsig Cho,et al.  A Practical Two-Phase Approach to Scheduling of Photolithography Production , 2015, IEEE Transactions on Semiconductor Manufacturing.

[10]  E.L. Lawler,et al.  Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey , 1977 .

[11]  Andreas Klemmt,et al.  Advanced secondary resource control in semiconductor lithography areas: From theory to practice , 2013, 2013 Winter Simulations Conference (WSC).

[12]  Willem Jan van Hoeve,et al.  Constraint programming and operations research , 2017, Constraints.

[13]  Irem Ozkarahan,et al.  A combined integer/constraint programming approach to a resource-constrained parallel machine scheduling problem with machine eligibility restrictions , 2011 .

[14]  Tao Wang,et al.  Scheduling operating theatres: Mixed integer programming vs. constraint programming , 2015, Eur. J. Oper. Res..

[15]  J. Christopher Beck,et al.  Variable Ordering Heuristics Show Promise , 2004, CP.

[16]  Vipul Jain,et al.  Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems , 2001, INFORMS J. Comput..

[17]  Khaled Ghedira Constraint Satisfaction Problems: CSP Formalisms and Techniques , 2013 .

[18]  N. Govind,et al.  Operations Management in Automated Semiconductor Manufacturing With Integrated Targeting, Near Real-Time Scheduling, and Dispatching , 2008, IEEE Transactions on Semiconductor Manufacturing.

[19]  G.T. Mackulak,et al.  Evaluating the impacts of reticle requirements in semiconductor wafer fabrication , 2005, IEEE Transactions on Semiconductor Manufacturing.

[20]  Vikas Goel,et al.  Constraint programming for LNG ship scheduling and inventory management , 2015, Eur. J. Oper. Res..

[21]  Scott J. Mason,et al.  Parallel machine scheduling subject to auxiliary resource constraints , 2007 .

[22]  Stéphane Dauzère-Pérès,et al.  A memetic algorithm to solve an unrelated parallel machine scheduling problem with auxiliary resources in semiconductor manufacturing , 2016, J. Sched..

[23]  Philippe Baptiste,et al.  Constraint - based scheduling : applying constraint programming to scheduling problems , 2001 .

[24]  Peter B. Luh,et al.  Litho Machine Scheduling With Convex Hull Analyses , 2013, IEEE Transactions on Automation Science and Engineering.

[25]  Philippe Laborie,et al.  Reasoning with Conditional Time-Intervals , 2008, FLAIRS.