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