{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T05:52:01Z","timestamp":1779256321389,"version":"3.51.4"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,4,26]],"date-time":"2018-04-26T00:00:00Z","timestamp":1524700800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"crossref","award":["ICT15-014"],"award-info":[{"award-number":["ICT15-014"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"crossref"}]},{"name":"MiUR, Italy","award":["PRIN2015"],"award-info":[{"award-number":["PRIN2015"]}]},{"name":"Institute for Data Valorization, Montreal","award":["IVADO"],"award-info":[{"award-number":["IVADO"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10601-018-9285-6","type":"journal-article","created":{"date-parts":[[2018,4,26]],"date-time":"2018-04-26T04:07:37Z","timestamp":1524715657000},"page":"296-309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":202,"title":["Deep neural networks and mixed integer linear optimization"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6601-0568","authenticated-orcid":false,"given":"Matteo","family":"Fischetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Jo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,26]]},"reference":[{"key":"9285_CR1","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/s10589-016-9847-8","volume":"65","author":"P Belotti","year":"2016","unstructured":"Belotti, P., Bonami, P., Fischetti, M., Lodi, A., Monaci, M., Nogales-Gomez, A., Salvagnin, D. (2016). On handling indicator constraints in mixed integer programming. Computational Optimization and Applications, 65, 545\u2013566.","journal-title":"Computational Optimization and Applications"},{"key":"9285_CR2","unstructured":"Cheng, C.-H., N\u00fchrenberg, G., Ruess, H. (2017). Maximum resilience of artificial neural networks. In D\u2019Souza, D., & Narayan Kumar, K. (Eds.) Automated technology for verification and analysis (pp. 251\u2013268). Cham: Springer International Publishing."},{"issue":"11","key":"9285_CR3","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","volume":"86","author":"YL Le Cun","year":"1998","unstructured":"Le Cun, Y.L., Bottou, L., Bengio, Y., Haffner, P. (1998). Gradient-based learning applied to document recognition. Proceedings of IEEE, 86(11), 2278\u20132324.","journal-title":"Proceedings of IEEE"},{"key":"9285_CR4","unstructured":"Erhan, D., Bengio, Y, Courville, A., Vincent, P. (2009). Visualizing higher-layer features of a deep network."},{"issue":"Part A","key":"9285_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.disopt.2015.03.002","volume":"22","author":"M Fischetti","year":"2016","unstructured":"Fischetti, M. (2016). Fast training of support vector machines with Gaussian kernel. Discrete Optimization, 22(Part A), 183\u2013194. SI:ISCO 2014.","journal-title":"Discrete Optimization"},{"issue":"1-3","key":"9285_CR6","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s10107-003-0395-5","volume":"98","author":"M Fischetti","year":"2003","unstructured":"Fischetti, M., & Lodi, A. (2003). Local branching. Mathematical Programming, 98(1-3), 23\u201347.","journal-title":"Mathematical Programming"},{"issue":"6","key":"9285_CR7","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/s10732-014-9266-x","volume":"20","author":"M Fischetti","year":"2014","unstructured":"Fischetti, M., & Monaci, M. (2014). Proximity search for 0-1 mixed-integer convex programming. Journal of Heuristics, 20(6), 709\u2013731.","journal-title":"Journal of Heuristics"},{"key":"9285_CR8","unstructured":"Goodfellow, I, Bengio, Y, Courville, A. (2016). Deep Learning. MIT Press. \n                    http:\/\/www.deeplearningbook.org\n                    \n                  ."},{"key":"9285_CR9","unstructured":"ILOG IBM. Cplex 12.7 user\u2019s manual (2017)."},{"issue":"6","key":"9285_CR10","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/3065386","volume":"60","author":"A Krizhevsky","year":"2017","unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E. (2017). Imagenet classification with deep convolutional neural networks. Communication of ACM, 60(6), 84\u201390.","journal-title":"Communication of ACM"},{"key":"9285_CR11","unstructured":"Nair, V., & Hinton, G.E. (2010). Rectified linear units improve restricted Boltzmann machines. In F\u00fcrnkranz, J, & Joachims, T (Eds.) Proceedings of the 27th International Conference on Machine Learning (ICML-10) (pp. 807\u2013814): Omnipress."},{"issue":"4","key":"9285_CR12","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1287\/ijoc.1060.0189","volume":"19","author":"E Rothberg","year":"2007","unstructured":"Rothberg, E. (2007). An evolutionary algorithm for polishing mixed integer programming solutions. INFORMS Journal on Computing, 19(4), 534\u2013541.","journal-title":"INFORMS Journal on Computing"},{"key":"9285_CR13","unstructured":"Serra, T., Tjandraatmadja, C., Ramalingam, S. (2017). Bounding and counting linear regions of deep neural networks. CoRR arXiv:\n                    1711.02114\n                    \n                  ."},{"key":"9285_CR14","unstructured":"Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I.J., Fergus, R. (2013). Intriguing properties of neural networks. CoRR arXiv:\n                    1312.6199\n                    \n                  ."},{"key":"9285_CR15","unstructured":"Tjeng, V., & Tedrake, R. (2017). Verifying neural networks with mixed integer programming. CoRR arXiv:\n                    1711.07356\n                    \n                  ."}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10601-018-9285-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-018-9285-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-018-9285-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T07:30:25Z","timestamp":1583220625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10601-018-9285-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,26]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["9285"],"URL":"https:\/\/doi.org\/10.1007\/s10601-018-9285-6","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4,26]]},"assertion":[{"value":"26 April 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}