Reduction and efficient solution of MILP models of mixed Hamming packings yielding improved upper bounds. - Péter Naszvadi; Mátyás Koniorczyk (CoRR, 2023)