On Training Neural Networks with Mixed Integer Programming - Tómas Thorbjarnarson; Neil Yorke-Smith (2020)