An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem

Pierre Tassel, Martin Gebser, Mohamed Rbaia

Research output: Contribution to conferencePaperpeer-review

Abstract

The Aircraft Routing and Maintenance Planning problems are integral parts of the airline scheduling process. We study these relevant combinatorial optimization problems from the perspective of Answer Set Programming (ASP) modeling and solving. In particular, we contrast traditional single-shot ASP solving methods to a novel multi-shot solving approach, geared to rapidly discover
near-optimal solutions to sub-problems of increasing granularity. As it turns out, our multi-shot solving techniques can heavily speed up the optimization process without deteriorating the solution quality in comparison to single-shot solving.
We also provide a customizable instance generator and a solution viewer to facilitate intensive investigation of Aircraft Routing and Maintenance Planning as a benchmark problem. Our multi-shot solving techniques are however not limited to this benchmark alone, and the underlying ideas can be naturally applied to a
variety of scheduling problems.
Original languageEnglish
Number of pages14
Publication statusPublished - 19 Sep 2020
Event13th Workshop on Answer Set Programming and Other Computing Paradigms - Virtuell, Italy
Duration: 18 Sep 202018 Sep 2020
https://sites.google.com/site/aspocp2020/

Workshop

Workshop13th Workshop on Answer Set Programming and Other Computing Paradigms
Abbreviated titleASPOCP 2020
Country/TerritoryItaly
CityVirtuell
Period18/09/2018/09/20
Internet address

Fingerprint

Dive into the research topics of 'An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem'. Together they form a unique fingerprint.

Cite this