Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes

DOI10.1007/978-3-031-43619-2_17MaRDI QIDQ6545536zbMATH OpenFDO

Authors Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser

Publication date 29 May 2024

Full work available at URL https://doi.org/10.1007/978-3-031-43619-2_17

zbMATH Keywords

difference logichybrid answer set programmingmulti-objective optimizationsemiconductor manufacturing scheduling

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Integration of scheduling and advanced process control in semiconductor manufacturing: review and outlook
• Multiple-objective scheduling and real-time dispatching for the semiconductor manufacturing system
• Integrated heuristics for scheduling multiple order jobs in a complex job shop
• Selection of dispatching rules on multiple dispatching decision points in real-time scheduling of a semiconductor wafer fabrication system
• A multi-criteria approach for scheduling semiconductor wafer fabrication facilities

Cites work

• \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
• A multi-criteria approach for scheduling semiconductor wafer fabrication facilities
• A multi-shot ASP encoding for the aircraft routing and maintenance planning problem
• An effective hybrid optimization strategy for job-shop scheduling problems
• Answer set programming
• Benchmarks for basic scheduling problems
• Clingo goes linear constraints over reals and integers
• Fast and Flexible Difference Constraint Propagation for DPLL(T)
• Industrial-size scheduling with ASP+CP
• Job-shop scheduling with multi-purpose machines
• Multi-shot ASP solving with clingo
• Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
• Semiconductor manufacturing scheduling and dispatching
• Shift design with answer set programming
• Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
• Team-building with answer set programming in the Gioia-Tauro seaport
• The Complexity of Flowshop and Jobshop Scheduling
• Train scheduling with hybrid answer set programming

Cited in

(1)

• Decomposition strategies and multi-shot ASP solving for job-shop scheduling

This page was built for publication: Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545536)