Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
Institute for Logic and Computation, TU Wien, Vienna, Austria.
Institute for Logic and Computation, TU Wien, Vienna, Austria.
Institute for Logic and Computation, TU Wien, Vienna, Austria; CD-Lab Artis, TU Wien, Renningen, Germany .
Institute for Logic and Computation, TU Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Show others and affiliations
2021 (English)In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, IJCAI Organization , 2021, p. 280-290Conference paper, Published paper (Refereed)
Abstract [en]

We deal with a challenging scheduling problem on parallel-machines with sequence-dependent setup times and release dates from a real-world application of semiconductor workshop production. There, jobs can only be processed by dedicated machines, thus few machines can determine the makespan almost regardless of how jobs are scheduled on the remaining ones. This causes problems when machines fail and jobs need to be rescheduled. Instead of optimising only the makespan, we put the individual machine spans in non-ascending order and lexicographically minimise the resulting tuples. This achieves that all machines complete as early as possible and increases the robustness of the schedule. We study the application of Answer-Set Programming (ASP) to solve this problem. While ASP eases modelling, the combination of timing constraints and the considered objective function challenges current solving technology. The former issue is addressed by using an extension of ASP by difference logic. For the latter, we devise different algorithms that use multi-shot solving. To tackle industrial-sized instances, we study different approximations and heuristics. Our experimental results show that ASP is indeed a promising KRR paradigm for this problem and is competitive with state-of-the-art CP and MIP solvers.

Place, publisher, year, edition, pages
IJCAI Organization , 2021. p. 280-290
Keywords [en]
Constraint programming, Answer set programming, Makespan, Objective functions, Optimisations, Parallel machine, Parallel machines scheduling, Real-world, Scheduling problem, Sequence dependent setup times and release dates, Timing constraints, Job shop scheduling
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63560Scopus ID: 2-s2.0-85126231612ISBN: 9781956792997 (print)OAI: oai:DiVA.org:hj-63560DiVA, id: diva2:1838536
Conference
18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, 3 November 2021 through 12 November 2021
Available from: 2024-02-16 Created: 2024-02-16 Last updated: 2024-02-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf