Il problema della generazione automatica dell'orario delle lezioni: teoria e pratica