Cena, Carlo (2022) Machine Learning in Automatic Tabulation for Constraint Model Reformulation. [Laurea magistrale], Università di Bologna, Corso di Studio in Artificial intelligence [LM-DM270], Documento full-text non disponibile