Mohammed M. S. El-Kholany ; Martin Gebser ; Konstantin Schekotihin - Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

lmcs:14049 - Logical Methods in Computer Science, August 7, 2025, Volume 21, Issue 3 - https://doi.org/10.46298/lmcs-21(3:16)2025
Decomposition Strategies and Multi-shot ASP Solving for Job-shop SchedulingArticle

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

    The Job-shop Scheduling Problem (JSP) is a well-known and challenging combinatorial optimization problem in which tasks sharing a machine are to be arranged in a sequence such that encompassing jobs can be completed as early as possible. In this paper, we investigate problem decomposition into time windows whose operations can be successively scheduled and optimized by means of multi-shot Answer Set Programming (ASP) solving. From a computational perspective, decomposition aims to split highly complex scheduling tasks into better manageable subproblems with a balanced number of operations such that good-quality or even optimal partial solutions can be reliably found in a small fraction of runtime. We devise and investigate a variety of decomposition strategies in terms of the number and size of time windows as well as heuristics for choosing their operations. Moreover, we incorporate time window overlapping and compression techniques into the iterative scheduling process to counteract optimization limitations due to the restriction to window-wise partial schedules. Our experiments on different JSP benchmark sets show that successive optimization by multi-shot ASP solving leads to substantially better schedules within tight runtime limits than single-shot optimization on the full problem. In particular, we find that decomposing initial solutions obtained with proficient heuristic methods into time windows leads to improved solution quality.


    Volume: Volume 21, Issue 3
    Published on: August 7, 2025
    Imported on: August 12, 2024
    Keywords: Artificial Intelligence, Logic in Computer Science

    Consultation statistics

    This page has been seen 993 times.
    This article's PDF has been downloaded 249 times.