arXiv:1907.03140 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords relu networks, mixed-integer linear programs, surrogate models, piecewise-linear deep neural networks, output bounds Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset