Hot: time-table-scheduling