Reduction and Efficient Solution of ILP Models of Mixed Hamming Packings Yielding Improved Upper Bounds | Synapse