Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling

DOI10.1017/S1471068422000217OpenAlexW4283797444MaRDI QIDQ5038465FDOQ5038465

Authors: Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin 

Publication date: 30 September 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.07537

Recommendations

• Scheduling larger job shops: a decomposition approach
• scientific article; zbMATH DE number 4057270
• A decomposition approach to the solution of large-scale scheduling problems
• Single-facility scheduling by logic-based Benders decomposition

zbMATH Keywords

answer set programmingproblem decompositionjob-shop scheduling problem

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Abstract gringo
• Multi-shot ASP solving with clingo
• Title not available (Why is that?)
• The Shifting Bottleneck Procedure for Job Shop Scheduling
• The Complexity of Flowshop and Jobshop Scheduling
• Benchmarks for basic scheduling problems
• Decomposition methods for large job shops
• Fast and Flexible Difference Constraint Propagation for DPLL(T)
• A genetic algorithm for the flexible job-shop scheduling problem
• Team-building with answer set programming in the Gioia-Tauro seaport
• Performance of decomposition procedures for job shop scheduling problems with bottleneck 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
• Industrial-size scheduling with ASP+CP
• Shift design with answer set programming
• ASP-Core-2 input language format
• Answer set programming
• A prediction based iterative decomposition algorithm for scheduling large-scale job shops
• Train scheduling with hybrid answer set programming

Cited In (5)

• Constraint propagation and problem decomposition: A preprocessing procedure for the job shop problem
• Title not available (Why is that?)
• A multi-shot ASP encoding for the aircraft routing and maintenance planning problem
• Adaptive large-neighbourhood search for optimisation in answer-set programming
• Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes

Uses Software

• Gringo
• Clingo
• OR-tools
• teaspoon

This page was built for publication: Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling

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