Mathematical Models And Algorithmic Solution Approaches For The Slot Allocation Problem