Evaluation of Neural Networks for Image Recognition Applications: Designing a 0-1 MILP Model of a CNN to create adversarials. - Lucas Schelkes (CoRR, 2018)