Computer-aided Characterization of Fundamental Limits of Coded Caching with Linear Coding. - Niccolò Brembilla; Yinbin Ma; Pietro Belotti; Federico Malucelli; Daniela Tuninetti (CoRR, 2025)