Scheduling is one of the problems that has attracted the attention of many researchers over
the years. The University Course Timetabling Problem (UCTP) is a highly constrained real …

Automated problem solving in combination with declarative specifications of search-
problems have shown to substantially improve the implementation and maintenance costs …

This paper presents an approach of using methods of process mining and rule-based
artificial intelligence to analyze and understand study paths of students based on campus …

We propose an algorithm selection approach and an instance space analysis for the well-
known curriculum-based course timetabling problem (CB-CTT), which is an important …

We introduce the asprilo1 framework to facilitate experimental studies of approaches
addressing complex dynamic applications. For this purpose, we have chosen the domain of …

Scheduling methods are important for effective production and logistics management, where
tasks need to be allocated and performed with limited resources. In particular, the Job-shop …

We address the problem of evolutionary system design (ESD) by means of answer set
programming modulo difference constraints (AMT). The goal of this design approach is to …

The Potsdam answer set solving collection, or Potassco for short, bundles various tools
implementing and/or applying answer set programming. The article at hand succeeds an …

The complex production processes in modern semiconductor manufacturing involve
hundreds of operations on the route of a production lot, so that the period from lot release to …

Scheduling is a crucial problem appearing in various domains, such as manufacturing,
transportation, or healthcare, where the goal is to schedule given operations on available …