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

DOI10.1007/978-3-031-43619-2_17MaRDI QIDQ6545536

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

Publication date: 29 May 2024

zbMATH Keywords

multi-objective optimizationdifference logichybrid answer set programmingsemiconductor manufacturing scheduling

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

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

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