Modeling High School Timetabling as Partial Weighted maxSAT

Abstract

High School Timetabling (HSTT) is a well known and wide spread problem. The problem consists of coordinating resources (e.g. teachers, rooms), time slots, and events (e.g. lectures) with respect to various constraints. Unfortunately, HSTT is hard to solve and just finding a feasible solution for simple variants of HSTT has been proven to be NP-complete. In… (More)

Topics

1 Figure or Table

Slides referencing similar topics