Modelli e metodi per lo Slab Stack Shuffling problem