Gualandi, Mattia (2025) Optimization of Production and Packaging Schedules Using Declarative Approaches: Application to a Food Manufacturing Plant. [Laurea magistrale], Università di Bologna, Corso di Studio in Artificial intelligence [LM-DM270]