{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T00:42:20Z","timestamp":1777509740930,"version":"3.51.4"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T00:00:00Z","timestamp":1581552000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T00:00:00Z","timestamp":1581552000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s10107-020-01474-5","type":"journal-article","created":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T06:41:16Z","timestamp":1581576076000},"page":"3-39","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":144,"title":["Strong mixed-integer programming formulations for trained neural networks"],"prefix":"10.1007","volume":"183","author":[{"given":"Ross","family":"Anderson","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3552-0316","authenticated-orcid":false,"given":"Joey","family":"Huchette","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2420-4468","authenticated-orcid":false,"given":"Will","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Tjandraatmadja","sequence":"additional","affiliation":[]},{"given":"Juan Pablo","family":"Vielma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,13]]},"reference":[{"key":"1474_CR1","unstructured":"https:\/\/developers.google.com\/machine-learning\/glossary\/#logits. Accessed 6 Feb 2020"},{"key":"1474_CR2","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1038\/nbt.3300","volume":"33","author":"B Alipanahi","year":"2015","unstructured":"Alipanahi, B., Delong, A., Weirauch, M.T., Frey, B.J.: Predicting the sequence specificities of DNA- and RNA-binding proteins by deep learning. Nat. Biotechnol. 33, 831\u2013838 (2015)","journal-title":"Nat. Biotechnol."},{"key":"1474_CR3","unstructured":"Amos, B., Xu, L., Kolter, J.Z.: Input convex neural networks. In: Precup, D., Teh, Y.W. (eds.) Proceedings of the 34th International Conference on Machine Learning, vol. 70, pp. 146\u2013155. PMLR, International Convention Centre, Sydney (2017)"},{"key":"1474_CR4","unstructured":"Anderson, R., Huchette, J., Tjandraatmadja, C., Vielma, J.P.: Strong mixed-integer programming formulations for trained neural networks. In: A.\u00a0Lodi, V.\u00a0Nagarajan (eds.) Proceedings of the 20th Conference on Integer Programming and Combinatorial Optimization, pp. 27\u201342. Springer International Publishing, Cham (2019). arxiv:1811.08359"},{"key":"1474_CR5","unstructured":"Arora, R., Basu, A., Mianjy, P., Mukherjee, A.: Understanding deep neural networks with rectified linear units (2016). arXiv preprint arXiv:1611.01491"},{"issue":"6","key":"1474_CR6","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MSP.2017.2743240","volume":"34","author":"K Arulkumaran","year":"2017","unstructured":"Arulkumaran, K., Deisenroth, M.P., Brundage, M., Bharath, A.A.: Deep reinforcement learning: a brief survey. IEEE Signal Process. Mag. 34(6), 26\u201338 (2017)","journal-title":"IEEE Signal Process. Mag."},{"key":"1474_CR7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s10107-018-1301-5","volume":"170","author":"A Atamt\u00fcrk","year":"2018","unstructured":"Atamt\u00fcrk, A., G\u00f3mez, A.: Strong formulations for quadratic optimization with M-matrices and indicator variables. Math. Program. 170, 141\u2013176 (2018)","journal-title":"Math. Program."},{"issue":"3","key":"1474_CR8","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1137\/0606047","volume":"6","author":"E Balas","year":"1985","unstructured":"Balas, E.: Disjunctive programming and a hierarchy of relaxations for discrete optimization problems. SIAM J. Algorithmic Discrete Methods 6(3), 466\u2013486 (1985)","journal-title":"SIAM J. Algorithmic Discrete Methods"},{"key":"1474_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0166-218X(98)00136-X","volume":"89","author":"E Balas","year":"1998","unstructured":"Balas, E.: Disjunctive programming: properties of the convex hull of feasible points. Discrete Appl. Math. 89, 3\u201344 (1998)","journal-title":"Discrete Appl. Math."},{"key":"1474_CR10","doi-asserted-by":"crossref","unstructured":"Bartolini, A., Lombardi, M., Milano, M., Benini, L.: Neuron constraints to model complex real-world problems. In: International Conference on the Principles and Practice of Constraint Programming, pp. 115\u2013129. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-23786-7_11"},{"key":"1474_CR11","doi-asserted-by":"crossref","unstructured":"Bartolini, A., Lombardi, M., Milano, M., Benini, L.: Optimization and controlled systems: a case study on thermal aware workload dispatching. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, pp. 427\u2013433 (2012)","DOI":"10.1609\/aaai.v26i1.8138"},{"key":"1474_CR12","unstructured":"Bastani, O., Ioannou, Y., Lampropoulos, L., Vytiniotis, D., Nori, A.V., Criminisi, A.: Measuring neural net robustness with constraints. In: Advances in Neural Information Processing Systems, pp. 2613\u20132621 (2016)"},{"issue":"3","key":"1474_CR13","doi-asserted-by":"crossref","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.: On handling indicator constraints in mixed integer programming. Comput. Optim. Appl. 65(3), 545\u2013566 (2016)","journal-title":"Comput. Optim. Appl."},{"key":"1474_CR14","volume-title":"Introduction to Linear Optimization","author":"D Bertsimas","year":"1997","unstructured":"Bertsimas, D., Tsitsiklis, J.: Introduction to Linear Optimization. Athena Scientific, Belmont, MA (1997)"},{"key":"1474_CR15","unstructured":"Bienstock, D., Mu\u00f1oz, G., Pokutta, S.: Principled deep neural network training through linear programming (2018). arXiv preprint arXiv:1810.03218"},{"key":"1474_CR16","volume-title":"Pattern Recognition and Machine Learning","author":"CM Bishop","year":"2006","unstructured":"Bishop, C.M.: Pattern Recognition and Machine Learning. Springer, Berlin (2006)"},{"issue":"1","key":"1474_CR17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10107-015-0891-4","volume":"151","author":"P Bonami","year":"2015","unstructured":"Bonami, P., Lodi, A., Tramontani, A., Wiese, S.: On mathematical programming with indicator constraints. Math. Program. 151(1), 191\u2013223 (2015)","journal-title":"Math. Program."},{"key":"1474_CR18","doi-asserted-by":"crossref","unstructured":"Boureau, Y.L., Bach, F., LeCun, Y., Ponce, J.: Learning mid-level features for recognition. In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition, pp. 2559\u20132566 (2010)","DOI":"10.1109\/CVPR.2010.5539963"},{"key":"1474_CR19","unstructured":"Bunel, R., Turkaslan, I., Torr, P.H., Kohli, P., Kumar, M.P.: A unified view of piecewise linear neural network verification. In: Advances in Neural Information Processing Systems (2018)"},{"key":"1474_CR20","doi-asserted-by":"crossref","unstructured":"Carlini, N., Wagner, D.: Towards evaluating the robustness of neural networks. In: 2017 IEEE Symposium on Security and Privacy (SP), pp. 39\u201357 (2017)","DOI":"10.1109\/SP.2017.49"},{"key":"1474_CR21","doi-asserted-by":"crossref","unstructured":"Chen, L., Ma, W., Natarajan, K., Simchi-Levi, D., Yan, Z.: Distributionally robust linear and discrete optimization with marginals. Available at SSRN 3159473 (2018)","DOI":"10.2139\/ssrn.3159473"},{"key":"1474_CR22","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., N\u00fchrenberg, G., Ruess, N.: Maximum resilience of artifical neural networks. In: International Symposium on Automated Technology for Verification and Analysis. Springer, Cham (2017)","DOI":"10.1007\/978-3-319-68167-2_18"},{"key":"1474_CR23","unstructured":"Dulac-Arnold, G., Evans, R., van Hasselt, H., Sunehag, P., Lillicrap, T., Hunt, J., Mann, T., Weber, T., Degris, T., Coppin, B.: Deep reinforcement learning in large discrete action spaces (2015). arxiv:1512.07679"},{"key":"1474_CR24","doi-asserted-by":"crossref","unstructured":"Dutta, S., Jha, S., Sanakaranarayanan, S., Tiwari, A.: Output range analysis for deep feedforward neural networks. In: NASA Formal Methods Symposium (2018)","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"1474_CR25","unstructured":"Dvijotham, K., Gowal, S., Stanforth, R., Arandjelovic, R., O\u2019Donoghue, B., Uesato, J., Kohli, P.: Training verified learners with learned verifiers (2018). arxiv:1805.10265"},{"key":"1474_CR26","unstructured":"Dvijotham, K., Stanforth, R., Gowal, S., Mann, T., Kohli, P.: A dual approach to scalable verification of deep networks. In: Thirty-Fourth Conference Annual Conference on Uncertainty in Artificial Intelligence (2018)"},{"key":"1474_CR27","doi-asserted-by":"crossref","unstructured":"Ehlers, R.: Formal verification of piece-wise linear feed-forward neural networks. In: International Symposium on Automated Technology for Verification and Analysis. Springer, Cham (2017)","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"1474_CR28","unstructured":"Engstrom, L., Tran, B., Tsipras, D., Schmidt, L., Madry, A.: Exploring the landscape of spatial robustness. In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning, Proceedings of Machine Learning Research, vol.\u00a097, pp. 1802\u20131811. PMLR, Long Beach, CA (2019). http:\/\/proceedings.mlr.press\/v97\/engstrom19a.html. Accessed 6 Feb 2020"},{"key":"1474_CR29","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/s10601-018-9285-6","volume":"23","author":"M Fischetti","year":"2018","unstructured":"Fischetti, M., Jo, J.: Deep neural networks and mixed integer linear optimization. Constraints 23, 296\u2013309 (2018)","journal-title":"Constraints"},{"key":"1474_CR30","unstructured":"Gatys, L.A., Ecker, A.S., Bethge, M.: A neural algorithm of artistic style (2015). arxiv:1508.06576"},{"key":"1474_CR31","unstructured":"Glorot, X., Bordes, A., Bengio, Y.: Deep sparse rectifier neural networks. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, pp. 315\u2013323 (2011)"},{"key":"1474_CR32","volume-title":"Deep Learning","author":"I Goodfellow","year":"2016","unstructured":"Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning, vol. 1. MIT Press, Cambridge (2016)"},{"key":"1474_CR33","unstructured":"Goodfellow, I.J., Warde-Farley, D., Mirza, M., Courville, A., Bengio, Y.: Maxout networks. In: Proceedings of the 30th International Conference on Machine Learning, vol.\u00a028, pp. 1319\u20131327 (2013)"},{"key":"1474_CR34","doi-asserted-by":"crossref","first-page":"106580","DOI":"10.1016\/j.compchemeng.2019.106580","volume":"131","author":"B Grimstad","year":"2019","unstructured":"Grimstad, B., Andersson, H.: ReLU networks as surrogate models in mixed-integer linear programs. Comput. Chem. Eng. 131, 106580 (2019)","journal-title":"Comput. Chem. Eng."},{"key":"1474_CR35","doi-asserted-by":"crossref","unstructured":"Haneveld, W.K.K.: Robustness against dependence in pert: an application of duality and distributions with known marginals. In: Stochastic Programming 84 Part I, pp. 153\u2013182. Springer (1986)","DOI":"10.1007\/BFb0121119"},{"key":"1474_CR36","unstructured":"Hanin, B.: Universal function approximation by deep neural nets with bounded width and ReLU activations (2017). arXiv preprint arXiv:1708.02691"},{"issue":"2","key":"1474_CR37","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1007\/s10589-011-9424-0","volume":"52","author":"H Hijazi","year":"2012","unstructured":"Hijazi, H., Bonami, P., Cornu\u00e9jols, G., Ouorou, A.: Mixed-integer nonlinear programs featuring \u201con\/off\u201d constraints. Comput. Optim. Appl. 52(2), 537\u2013558 (2012)","journal-title":"Comput. Optim. Appl."},{"key":"1474_CR38","unstructured":"Hijazi, H., Bonami, P., Ouorou, A.: A note on linear on\/off constraints (2014). http:\/\/www.optimization-online.org\/DB_FILE\/2014\/04\/4309.pdf. Accessed 6 Feb 2020"},{"issue":"2","key":"1474_CR39","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s100970050003","volume":"2","author":"B Huber","year":"2000","unstructured":"Huber, B., Rambau, J., Santos, F.: The Cayley Trick, lifting subdivisions and the Bohne-Dress theorem of zonotopal tiltings. J. Eur. Math. Soc. 2(2), 179\u2013198 (2000)","journal-title":"J. Eur. Math. Soc."},{"key":"1474_CR40","unstructured":"Huchette, J.: Advanced mixed-integer programming formulations: methodology, computation, and application. Ph.D. thesis, Massachusetts Institute of Technology (2018)"},{"key":"1474_CR41","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0121015","volume":"22","author":"R Jeroslow","year":"1984","unstructured":"Jeroslow, R., Lowe, J.: Modelling with integer variables. Math. Program. Study 22, 167\u2013184 (1984)","journal-title":"Math. Program. Study"},{"key":"1474_CR42","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF02186369","volume":"12","author":"RG Jeroslow","year":"1988","unstructured":"Jeroslow, R.G.: Alternative formulations of mixed integer programs. Ann. Oper. Res. 12, 241\u2013276 (1988)","journal-title":"Ann. Oper. Res."},{"key":"1474_CR43","doi-asserted-by":"crossref","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: International Conference on Computer Aided Verification, pp. 97\u2013117 (2017)","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"1474_CR44","unstructured":"Khalil, E.B., Gupta, A., Dilkina, B.: Combinatorial attacks on binarized neural networks. In: International Conference on Learning Representations (2019)"},{"key":"1474_CR45","unstructured":"Kingma, D.P., Ba, J.: Adam: A method for stochastic optimization (2014). arxiv:1412.6980"},{"key":"1474_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21708-5","volume-title":"Combinatorial Optimization: Theory and Algorithms","author":"B Korte","year":"2000","unstructured":"Korte, B., Vygen, J.: Combinatorial Optimization: Theory and Algorithms. Springer, Berlin (2000)"},{"key":"1474_CR47","unstructured":"Kumar, A., Serra, T., Ramalingam, S.: Equivalent and approximate transformations of deep neural networks (2019). arxiv:1905.11428"},{"issue":"7553","key":"1474_CR48","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1038\/nature14539","volume":"521","author":"Y LeCun","year":"2015","unstructured":"LeCun, Y., Bengio, Y., Hinton, G.: Deep learning. Nature 521(7553), 436\u2013444 (2015)","journal-title":"Nature"},{"key":"1474_CR49","doi-asserted-by":"crossref","first-page":"2278","DOI":"10.1109\/5.726791","volume":"86","author":"Y LeCun","year":"1998","unstructured":"LeCun, Y., Bottou, L., Bengio, Y., Haffner, P.: Gradient-based learning applied to document recognition. Proc. IEEE 86, 2278\u20132324 (1998)","journal-title":"Proc. IEEE"},{"key":"1474_CR50","unstructured":"Liu, C., Arnon, T., Lazarus, C., Barrett, C., Kochenderfer, M.J.: Algorithms for verifying deep neural networks (2019). arxiv:1903.06758"},{"issue":"4","key":"1474_CR51","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s10601-015-9234-6","volume":"21","author":"M Lombardi","year":"2016","unstructured":"Lombardi, M., Gualandi, S.: A lagrangian propagator for artificial neural networks in constraint programming. Constraints 21(4), 435\u2013462 (2016)","journal-title":"Constraints"},{"key":"1474_CR52","doi-asserted-by":"crossref","unstructured":"Lombardi, M., Milano, M.: Boosting combinatorial problem modeling with machine learning. In: Proceedings IJCAI, pp. 5472\u20135478 (2018)","DOI":"10.24963\/ijcai.2018\/772"},{"key":"1474_CR53","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.artint.2016.01.005","volume":"244","author":"M Lombardi","year":"2017","unstructured":"Lombardi, M., Milano, M., Bartolini, A.: Empirical decision model learning. Artif. Intell. 244, 343\u2013367 (2017)","journal-title":"Artif. Intell."},{"key":"1474_CR54","unstructured":"Lomuscio, A., Maganti, L.: An approach to reachability analysis for feed-forward ReLU neural networks (2017). arxiv:1706.07351"},{"key":"1474_CR55","unstructured":"Maas, A.L., Hannun, A.Y., Ng, A.Y.: Rectifier nonlinearities improve neural network acoustic models. In: ICML Workshop on Deep Learning for Audio, Speech and Language (2013)"},{"key":"1474_CR56","doi-asserted-by":"crossref","unstructured":"Mladenov, M., Boutilier, C., Schuurmans, D., Elidan, G., Meshi, O., Lu, T.: Approximate linear programming for logistic Markov decision processes. In: Proceedings of the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI-17), pp. 2486\u20132493. Melbourne, Australia (2017)","DOI":"10.24963\/ijcai.2017\/346"},{"key":"1474_CR57","unstructured":"Mordvintsev, A., Olah, C., Tyka, M.: Inceptionism: Going deeper into neural networks (2015). https:\/\/ai.googleblog.com\/2015\/06\/inceptionism-going-deeper-into-neural.html. Accessed 6 Feb 2020"},{"issue":"3","key":"1474_CR58","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1287\/mnsc.1080.0951","volume":"55","author":"K Natarajan","year":"2009","unstructured":"Natarajan, K., Song, M., Teo, C.P.: Persistency model and its applications in choice modeling. Manage. Sci. 55(3), 453\u2013469 (2009)","journal-title":"Manage. Sci."},{"key":"1474_CR59","unstructured":"Olah, C., Mordvintsev, A., Schubert, L.: Feature visualization. Distill (2017). https:\/\/distill.pub\/2017\/feature-visualization. Accessed 6 Feb 2020"},{"key":"1474_CR60","doi-asserted-by":"crossref","unstructured":"Papernot, N., McDaniel, P., Jha, S., Fredrikson, M., Celik, Z.B., Swami, A.: The limitations of deep learning in adversarial settings. In: IEEE European Symposium on Security and Privacy, pp. 372\u2013387 (2016)","DOI":"10.1109\/EuroSP.2016.36"},{"key":"1474_CR61","unstructured":"Raghunathan, A., Steinhardt, J., Liang, P.: Semidefinite relaxations for certifying robustness to adversarial examples. In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, NIPS\u201918, pp. 10,900\u201310,910. Curran Associates Inc. (2018)"},{"key":"1474_CR62","unstructured":"Ryu, M., Chow, Y., Anderson, R., Tjandraatmadja, C., Boutilier, C.: CAQL: Continuous action Q-learning (2019). arxiv:1909.12397"},{"key":"1474_CR63","unstructured":"Salman, H., Yang, G., Zhang, H., Hsieh, C.J., Zhang, P.: A convex relaxation barrier to tight robustness verification of neural networks (2019). arxiv:1902.08722"},{"key":"1474_CR64","doi-asserted-by":"crossref","unstructured":"Say, B., Wu, G., Zhou, Y.Q., Sanner, S.: Nonlinear hybrid planning with deep net learned transition models and mixed-integer linear programming. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, pp. 750\u2013756 (2017)","DOI":"10.24963\/ijcai.2017\/104"},{"key":"1474_CR65","doi-asserted-by":"crossref","first-page":"925","DOI":"10.1007\/s10957-018-1396-0","volume":"180","author":"AM Schweidtmann","year":"2019","unstructured":"Schweidtmann, A.M., Mitsos, A.: Global deterministic optimization with artificial neural networks embedded. J. Optim. Theory Appl. 180, 925\u2013948 (2019)","journal-title":"J. Optim. Theory Appl."},{"key":"1474_CR66","unstructured":"Serra, T., Ramalingam, S.: Empirical bounds on linear regions of deep rectifier networks (2018). arxiv:1810.03370"},{"key":"1474_CR67","unstructured":"Serra, T., Tjandraatmadja, C., Ramalingam, S.: Bounding and counting linear regions of deep neural networks. In: Thirty-Fifth International Conference on Machine Learning (2018)"},{"key":"1474_CR68","unstructured":"Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I., Fergus, R.: Intriguing properties of neural networks. In: International Conference on Learning Representations (2014)"},{"key":"1474_CR69","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3532-1","volume-title":"Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software and Applications","author":"M Tawarmalani","year":"2002","unstructured":"Tawarmalani, M., Sahinidis, N.: Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software and Applications, vol. 65. Springer, Berlin (2002)"},{"key":"1474_CR70","unstructured":"Tjeng, V., Xiao, K., Tedrake, R.: Verifying neural networks with mixed integer programming. In: International Conference on Learning Representations (2019)"},{"key":"1474_CR71","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.compchemeng.2015.02.013","volume":"76","author":"F Trespalacios","year":"2015","unstructured":"Trespalacios, F., Grossmann, I.E.: Improved big-M reformulation for generalized disjunctive programs. Comput. Chem. Eng. 76, 98\u2013103 (2015)","journal-title":"Comput. Chem. Eng."},{"issue":"1","key":"1474_CR72","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1137\/130915303","volume":"57","author":"JP Vielma","year":"2015","unstructured":"Vielma, J.P.: Mixed integer linear programming formulation techniques. SIAM Rev. 57(1), 3\u201357 (2015)","journal-title":"SIAM Rev."},{"issue":"10","key":"1474_CR73","first-page":"4471","volume":"64","author":"JP Vielma","year":"2018","unstructured":"Vielma, J.P.: Embedding formulations and complexity for unions of polyhedra. Manage. Sci. 64(10), 4471\u20134965 (2018)","journal-title":"Manage. Sci."},{"key":"1474_CR74","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10107-018-1258-4","volume":"177","author":"JP Vielma","year":"2018","unstructured":"Vielma, J.P.: Small and strong formulations for unions of convex sets from the Cayley embedding. Math. Program. 177, 21\u201353 (2018)","journal-title":"Math. Program."},{"issue":"1\u20132","key":"1474_CR75","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10107-009-0295-4","volume":"128","author":"JP Vielma","year":"2011","unstructured":"Vielma, J.P., Nemhauser, G.: Modeling disjunctive constraints with a logarithmic number of binary variables and constraints. Math. Program. 128(1\u20132), 49\u201372 (2011)","journal-title":"Math. Program."},{"key":"1474_CR76","unstructured":"Weibel, C.: Minkowski sums of polytopes: combinatorics and computation. Ph.D. thesis, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (2007)"},{"issue":"4","key":"1474_CR77","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1287\/opre.34.4.595","volume":"34","author":"G Weiss","year":"1986","unstructured":"Weiss, G.: Stochastic bounds on distributions of optimal value functions with applications to pert, network flows and reliability. Oper. Res. 34(4), 595\u2013605 (1986)","journal-title":"Oper. Res."},{"key":"1474_CR78","unstructured":"Wong, E., Kolter, J.Z.: Provable defenses against adversarial examples via the convex outer adversarial polytope. In: International Conference on Machine Learning (2018)"},{"key":"1474_CR79","unstructured":"Wong, E., Schmidt, F., Metzen, J.H., Kolter, J.Z.: Scaling provable adversarial defenses. In: 32nd Conference on Neural Information Processing Systems (2018)"},{"key":"1474_CR80","unstructured":"Wu, G., Say, B., Sanner, S.: Scalable planning with Tensorflow for hybrid nonlinear domains. In: Advances in Neural Information Processing Systems, pp. 6276\u20136286 (2017)"},{"key":"1474_CR81","unstructured":"Xiao, K.Y., Tjeng, V., Shafiullah, N.M., Madry, A.: Training for faster adversarial robustness verification via inducing ReLU stability. In: International Conference on Learning Representations (2019)"},{"key":"1474_CR82","unstructured":"Xu, B., Wang, N., Chen, T., Li, M.: Empirical evaluation of rectified activations in convolution network (2015). arxiv:1505.00853"},{"issue":"12","key":"1474_CR83","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/bioinformatics\/btw255","volume":"32","author":"H Zeng","year":"2016","unstructured":"Zeng, H., Edwards, M.D., Liu, G., Gifford, D.K.: Convolutional neural network architectures for predicting DNA-protein binding. Bioinformatics 32(12), 121\u2013127 (2016)","journal-title":"Bioinformatics"}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-020-01474-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10107-020-01474-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-020-01474-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,15]],"date-time":"2022-10-15T12:21:39Z","timestamp":1665836499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10107-020-01474-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,13]]},"references-count":83,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["1474"],"URL":"https:\/\/doi.org\/10.1007\/s10107-020-01474-5","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,13]]},"assertion":[{"value":"1 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 January 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}