{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T03:19:11Z","timestamp":1781579951549,"version":"3.54.5"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,5,11]],"date-time":"2018-05-11T00:00:00Z","timestamp":1525996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,5,11]],"date-time":"2018-05-11T00:00:00Z","timestamp":1525996800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Program."],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10107-018-1289-x","type":"journal-article","created":{"date-parts":[[2018,5,11]],"date-time":"2018-05-11T02:37:47Z","timestamp":1526006267000},"page":"97-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":50,"title":["A global MINLP approach to symbolic regression"],"prefix":"10.1007","volume":"170","author":[{"given":"Alison","family":"Cozad","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2087-9131","authenticated-orcid":false,"given":"Nikolaos V.","family":"Sahinidis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,5,11]]},"reference":[{"key":"1289_CR1","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1109\/TAC.1974.1100705","volume":"19","author":"H Akaike","year":"1974","unstructured":"Akaike, H.: A new look at the statistical model identification. IEEE Trans. Autom. Control 19, 716\u2013723 (1974)","journal-title":"IEEE Trans. Autom. Control"},{"key":"1289_CR2","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1016\/j.asoc.2017.10.041","volume":"62","author":"SSM Astarabadi","year":"2018","unstructured":"Astarabadi, S.S.M., Ebadzadeh, M.M.: A decomposition method for symbolic regression problems. Appl. Soft Comput. 62, 514\u2013523 (2018)","journal-title":"Appl. Soft Comput."},{"key":"1289_CR3","unstructured":"Austel, V., Dash, S., Gunluk, O., Horesh, L., Liberti, L., Nannicini, G., Schieber, B.: Globally optimal symbolic regression. https:\/\/arxiv.org\/abs\/1710.10720 (2017)"},{"issue":"1","key":"1289_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10710-008-9072-z","volume":"10","author":"P Balasubramaniam","year":"2008","unstructured":"Balasubramaniam, P., Kumar, A.V.A.: Solution of matrix Riccati differential equation for nonlinear singular system using genetic programming. Genet. Program. Evol. Mach. 10(1), 71\u201389 (2008)","journal-title":"Genet. Program. Evol. Mach."},{"key":"1289_CR5","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P Belotti","year":"2009","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., W\u00e4chter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24, 597\u2013634 (2009)","journal-title":"Optim. Methods Softw."},{"key":"1289_CR6","unstructured":"Berthold, T., Gamrath, G., Hendel, G., Heinz, S., Koch, T., Pfetsch, M., Vigerske, S., Waniek, R., Winkler, M., Wolter, K.: SCIP 3.2, User\u2019s Manual. Zuse Institute, Berlin, Germany (2016)"},{"key":"1289_CR7","unstructured":"Bettenhausen, K.D., Marenbach, P., Freyer, S., Rettenmaier, H., Nieken, U.: Self-organizing structured modelling of a biotechnological fed-batch fermentation by means of genetic programming. In: First International Conference on (Conf. Publ. No. 414) Genetic Algorithms in Engineering Systems: Innovations and Applications, 1995. GALESIA, pp. 481\u2013486 (1995)"},{"key":"1289_CR8","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.disopt.2006.10.011","volume":"5","author":"P Bonami","year":"2008","unstructured":"Bonami, P., Biegler, L.T., Conn, A.R., Cornuejols, G., Grossmann, I.E., Laird, C.D., Lee, J., Lodi, A., Margot, F., Sawaya, N., W\u00e4chter, A.: An algorithmic framework for convex mixed integer nonlinear programs. Discrete Optim. 5, 186\u2013204 (2008)","journal-title":"Discrete Optim."},{"key":"1289_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/0-387-30065-1_4","volume-title":"Large-Scale Nonlinear Optimization","author":"RH Byrd","year":"2006","unstructured":"Byrd, R.H., Nocedal, J., Waltz, R.A.: KNITRO: an integrated package for nonlinear optimization. In: Di Pillo, G., Roma, M. (eds.) Large-Scale Nonlinear Optimization, pp. 35\u201359. Springer, Boston (2006)"},{"key":"1289_CR10","doi-asserted-by":"publisher","first-page":"1973","DOI":"10.1016\/j.neucom.2017.10.047","volume":"275","author":"C Chen","year":"2018","unstructured":"Chen, C., Luoa, C., Jiang, Z.: Block building programming for symbolic regression. Neurocomputing 275, 1973\u20131980 (2018)","journal-title":"Neurocomputing"},{"key":"1289_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0835-9","volume-title":"Genetic Algorithms and Genetic Programming in Computational Finance","author":"SH Chen","year":"2002","unstructured":"Chen, S.H.: Genetic Algorithms and Genetic Programming in Computational Finance. Springer, New York, NY (2002)"},{"key":"1289_CR12","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718768","volume-title":"Introduction to Derivative-Free Optimization","author":"AR Conn","year":"2009","unstructured":"Conn, A.R., Scheinberg, K., Vicente, L.N.: Introduction to Derivative-Free Optimization. Society for Industrial and Applied Mathematics, Philadelphia, PA (2009)"},{"key":"1289_CR13","unstructured":"Cozad, A.: Data- and theory-driven techniques for surrogate-based optimization. Ph.D. thesis, Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, PA (2014)"},{"key":"1289_CR14","doi-asserted-by":"publisher","first-page":"2211","DOI":"10.1002\/aic.14418","volume":"60","author":"A Cozad","year":"2014","unstructured":"Cozad, A., Sahinidis, N.V., Miller, D.C.: Learning surrogate models for simulation-based optimization. AIChE J. 60, 2211\u20132227 (2014)","journal-title":"AIChE J."},{"key":"1289_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10710-010-9124-z","volume":"12","author":"R Dub\u010d\u00e1kov\u00e1","year":"2011","unstructured":"Dub\u010d\u00e1kov\u00e1, R.: Eureqa: software review. Genet. Program. Evol. Mach. 12, 173\u2013178 (2011)","journal-title":"Genet. Program. Evol. Mach."},{"key":"1289_CR16","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF02592064","volume":"36","author":"MA Duran","year":"1986","unstructured":"Duran, M.A., Grossmann, I.E.: An outer-approximation algorithm for a class of mixed-integer nonlinear programs. Math. Program. 36, 307\u2013339 (1986)","journal-title":"Math. Program."},{"key":"1289_CR17","unstructured":"GAMS\/SBB. User\u2019s Manual. https:\/\/www.gams.com\/latest\/docs\/S_SBB.html . Accessed 8 May 2018"},{"key":"1289_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1021039126272","volume":"3","author":"IE Grossmann","year":"2002","unstructured":"Grossmann, I.E.: Review of nonlinear mixed-integer and disjunctive programming techniques. Optim. Eng. 3, 227\u2013252 (2002)","journal-title":"Optim. Eng."},{"key":"1289_CR19","first-page":"2345","volume":"1","author":"MA Keane","year":"1993","unstructured":"Keane, M.A., Koza, J.R., Rice, J.P.: Finding an impulse response function using genetic programming. IEEE Am. Control Conf. 1, 2345\u20132350 (1993)","journal-title":"IEEE Am. Control Conf."},{"key":"1289_CR20","doi-asserted-by":"crossref","unstructured":"Keijzer, M.: Improving symbolic regression with interval arithmetic and linear scaling. In: Ryan, C., Soule, T., Keijzer, M., Tsang, E., Poli, R., Costa, E. (eds.) Genetic Programming, pp. 70\u201382. Springer, Berlin (2003)","DOI":"10.1007\/3-540-36599-0_7"},{"issue":"3","key":"1289_CR21","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/4235.873235","volume":"4","author":"JK Kishore","year":"2000","unstructured":"Kishore, J.K., Patnaik, L.M., Mani, V., Agrawal, V.K.: Application of genetic programming for multicategory pattern classification. IEEE Trans. Evolut. Comput. 4(3), 242\u2013258 (2000)","journal-title":"IEEE Trans. Evolut. Comput."},{"key":"1289_CR22","doi-asserted-by":"crossref","unstructured":"Korns, M.F.: Accuracy in symbolic regression. In: Riolo, R., Vladislavleva, E., Moore, J.H. (eds.) Genetic Programming Theory and Practice IX, pp. 129\u2013151. Springer, Berlin (2011)","DOI":"10.1007\/978-1-4614-1770-5_8"},{"key":"1289_CR23","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"JR Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA (1992)"},{"key":"1289_CR24","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"JR Koza","year":"1994","unstructured":"Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, Cambridge, MA (1994)"},{"key":"1289_CR25","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1080\/10556780902753221","volume":"24","author":"Y Lin","year":"2009","unstructured":"Lin, Y., Schrage, L.: The global solver in the LINDO API. Optim. Methods Softw. 24, 657\u2013668 (2009)","journal-title":"Optim. Methods Softw."},{"key":"1289_CR26","unstructured":"McDermott, J., O\u2019Reilly, U.-M., Luke, S., White, D.: Problem Classification. http:\/\/www.gpbenchmarks.org\/wiki\/ (2014). Accessed 8 May 2018"},{"key":"1289_CR27","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1016\/S0098-1354(96)00329-8","volume":"21","author":"B McKay","year":"1997","unstructured":"McKay, B., Willis, M., Barton, G.: Steady-state modelling of chemical process systems using genetic programming. Comput. Chem. Eng. 21, 981\u2013996 (1997)","journal-title":"Comput. Chem. Eng."},{"key":"1289_CR28","first-page":"1106","volume":"2","author":"B McKay","year":"1999","unstructured":"McKay, B., Willis, M., Searson, D., Montague, G.: Non-linear continuum regression using genetic programming. GECCO 2, 1106\u20131111 (1999)","journal-title":"GECCO"},{"key":"1289_CR29","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s10898-014-0166-2","volume":"59","author":"R Misener","year":"2014","unstructured":"Misener, R., Floudas, ChA: ANTIGONE: algorithms for continuous\/integer global optimization of nonlinear equations. J. Glob. Optim. 59, 503\u2013526 (2014)","journal-title":"J. Glob. Optim."},{"key":"1289_CR30","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1126\/science.1165893","volume":"324","author":"M Schmidt","year":"2009","unstructured":"Schmidt, M., Lipson, H.: Distilling free-form natural laws from experimental data. Science 324, 81\u201385 (2009)","journal-title":"Science"},{"key":"1289_CR31","doi-asserted-by":"crossref","unstructured":"Smits, G.F., Kotanchek, M.: Pareto-front exploitation in symbolic regression. In: O\u2019Reilly, U.-M., Yu, T., Riolo, R., Worzel, B. (eds.) Genetic Programming Theory and Practice II, pp. 283\u2013299. Springer, Berlin (2005)","DOI":"10.1007\/0-387-23254-0_17"},{"key":"1289_CR32","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MSP.2004.1311138","volume":"21","author":"P Stoica","year":"2004","unstructured":"Stoica, P., Sel\u00e9n, Y.: Model-order selection: a review of information criterion rules. IEEE Signal Process. Mag. 21, 36\u201347 (2004)","journal-title":"IEEE Signal Process. Mag."},{"key":"1289_CR33","unstructured":"Symbolic regression problems. http:\/\/minlp.com\/nlp-and-minlp-test-problems . Accessed 8 May 2018"},{"key":"1289_CR34","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10107-005-0581-8","volume":"103","author":"M Tawarmalani","year":"2005","unstructured":"Tawarmalani, M., Sahinidis, N.V.: A polyhedral branch-and-cut approach to global optimization. Math. Program. 103, 225\u2013249 (2005)","journal-title":"Math. Program."},{"key":"1289_CR35","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1111\/j.2517-6161.1996.tb02080.x","volume":"58","author":"R Tibshirani","year":"1996","unstructured":"Tibshirani, R.: Regression shrinkage and selection via the lasso. J. R. Stat. Soc. Ser. B (Methodol.) 58, 267\u2013288 (1996)","journal-title":"J. R. Stat. Soc. Ser. B (Methodol.)"},{"key":"1289_CR36","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10710-010-9121-2","volume":"12","author":"NQ Uy","year":"2011","unstructured":"Uy, N.Q., Hoai, N.X., O\u2019Neill, M., McKay, R.I., Galv\u00e1n-L\u00f3pez, E.: Semantically-based crossover in genetic programming: application to real-valued symbolic regression. Genet. Program. Evol. Mach. 12, 91\u2013119 (2011)","journal-title":"Genet. Program. Evol. Mach."},{"key":"1289_CR37","unstructured":"Watson, A.H., Parmee, I.C.: Identification of fluid systems using genetic programming. In: Proceedings of the Second Online Workshop on Evolutionary Computation, pp. 45\u201348 (1996)"},{"key":"1289_CR38","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/A:1021091110342","volume":"3","author":"T Westerlund","year":"2002","unstructured":"Westerlund, T., P\u00f6rn, R.: Solving pseudo-convex mixed integer optimization problems by cutting plane techniques. Optim. Eng. 3, 253\u2013280 (2002)","journal-title":"Optim. Eng."},{"key":"1289_CR39","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10710-012-9177-2","volume":"14","author":"DR White","year":"2013","unstructured":"White, D.R., McDermott, J., Castelli, M., Manzoni, L., Goldman, B.W., Kronberger, G., Ja\u015bkowski, W., O\u2019Reilly, U.-M., Luke, S.: Better GP benchmarks: community survey results and proposals. Genet. Program. Evol. Mach. 14, 3\u201329 (2013)","journal-title":"Genet. Program. Evol. Mach."},{"key":"1289_CR40","first-page":"314","volume":"1","author":"MJ Willis","year":"1997","unstructured":"Willis, M.J., Hiden, H.G., Marenbach, P., McKay, B., Montague, G.A.: Genetic programming: an introduction and survey of applications. IEEE Conf. Publ. 1, 314\u2013319 (1997)","journal-title":"IEEE Conf. Publ."}],"container-title":["Mathematical Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10107-018-1289-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-018-1289-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10107-018-1289-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T17:56:50Z","timestamp":1720288610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10107-018-1289-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,11]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["1289"],"URL":"https:\/\/doi.org\/10.1007\/s10107-018-1289-x","relation":{},"ISSN":["0025-5610","1436-4646"],"issn-type":[{"value":"0025-5610","type":"print"},{"value":"1436-4646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,11]]},"assertion":[{"value":"8 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}