{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T18:59:39Z","timestamp":1775761179781,"version":"3.50.1"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030399573","type":"print"},{"value":"9783030399580","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-39958-0_5","type":"book-chapter","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T13:29:08Z","timestamp":1588858148000},"page":"79-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Symbolic Regression by Exhaustive Search: Reducing the Search Space Using Syntactical Constraints and Efficient Semantic Structure Deduplication"],"prefix":"10.1007","author":[{"given":"Lukas","family":"Kammerer","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Kronberger","sequence":"additional","affiliation":[]},{"given":"Bogdan","family":"Burlacu","sequence":"additional","affiliation":[]},{"given":"Stephan M.","family":"Winkler","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kommenda","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Affenzeller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420011326","volume-title":"Genetic Algorithms and Genetic Programming - Modern Concepts and Practical Applications, Numerical Insights,","author":"M Affenzeller","year":"2009","unstructured":"Affenzeller, M., Winkler, S., Wagner, S., Beham, A.: Genetic Algorithms and Genetic Programming - Modern Concepts and Practical Applications, Numerical Insights, vol. 6. CRC Press, Chapman & Hall (2009)"},{"key":"5_CR2","unstructured":"Angeline, P.J., Pollack, J.: Evolutionary module acquisition. In: Proceedings of the Second Annual Conference on Evolutionary Programming, pp. 154\u2013163. La Jolla, CA, USA (1993)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Burlacu, B., Kammerer, L., Affenzeller, M., Kronberger, G.: Hash-based Tree Similarity and Simplification in Genetic Programming for Symbolic Regression. In: Computer Aided Systems Theory, EUROCAST 2019 (2019)","DOI":"10.1007\/978-3-030-45093-9_44"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.eswa.2018.05.021","volume":"109","author":"C Chen","year":"2018","unstructured":"Chen, C., Luo, C., Jiang, Z.: A multilevel block building algorithm for fast modeling generalized separable systems. Expert Systems with Applications 109, 25\u201334 (2018)","journal-title":"Expert Systems with Applications"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"PE Hart","year":"1968","unstructured":"Hart, P.E., Nilsson, N.J., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Transactions on Systems Science and Cybernetics 4(2), 100\u2013107 (1968)","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Keijzer, M.: Improving symbolic regression with interval arithmetic and linear scaling. In: Genetic Programming, Proceedings of EuroGP\u20192003, LNCS, vol. 2610, pp. 70\u201382. Springer-Verlag, Essex (2003)","DOI":"10.1007\/3-540-36599-0_7"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Keijzer, M., Babovic, V.: Genetic programming, ensemble methods and the bias\/variance tradeoff - introductory investigations. In: Genetic Programming, Proceedings of EuroGP\u20192000, LNCS, vol. 1802, pp. 76\u201390. Springer-Verlag, Edinburgh (2000)","DOI":"10.1007\/978-3-540-46239-2_6"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Keijzer, M., Ryan, C., Murphy, G., Cattolico, M.: Undirected training of run transferable libraries. In: Proceedings of the 8th European Conference on Genetic Programming, Lecture Notes in Computer Science, vol. 3447, pp. 361\u2013370. Springer, Lausanne, Switzerland (2005)","DOI":"10.1007\/978-3-540-31989-4_33"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Kommenda, M., Kronberger, G., Winkler, S., Affenzeller, M., Wagner, S.: Effects of constant optimization by nonlinear least squares minimization in symbolic regression. In: Proceedings of the 15th Annual Conference Companion on Genetic and Evolutionary Computation, GECCO \u201913 Companion, pp. 1121\u20131128. ACM (2013)","DOI":"10.1145\/2464576.2482691"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Korns, M.F.: Symbolic regression using abstract expression grammars. In: GEC \u201909: Proceedings of the first ACM\/SIGEVO Summit on Genetic and Evolutionary Computation, pp. 859\u2013862. ACM, Shanghai, China (2009)","DOI":"10.1145\/1543834.1543960"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Korns, M.F.: Abstract expression grammar symbolic regression. In: Genetic Programming Theory and Practice VIII, Genetic and Evolutionary Computation, vol. 8, chap. 7, pp. 109\u2013128. Springer, Ann Arbor, USA (2010)","DOI":"10.1007\/978-1-4419-7747-2_7"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Korns, M.F.: Extreme accuracy in symbolic regression. In: Genetic Programming Theory and Practice XI, Genetic and Evolutionary Computation, chap. 1, pp. 1\u201330. Springer, Ann Arbor, USA (2013)","DOI":"10.1007\/978-1-4939-0375-7_1"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Korns, M.F.: Extremely accurate symbolic regression for large feature problems. In: Genetic Programming Theory and Practice XII, Genetic and Evolutionary Computation, pp. 109\u2013131. Springer, Ann Arbor, USA (2014)","DOI":"10.1007\/978-3-319-16030-6_7"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Korns, M.F.: Highly accurate symbolic regression with noisy training data. In: Genetic Programming Theory and Practice XIII, Genetic and Evolutionary Computation, pp. 91\u2013115. Springer, Ann Arbor, USA (2015)","DOI":"10.1007\/978-3-319-34223-8_6"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Kotanchek, M., Smits, G., Vladislavleva, E.: Trustable symbolic regression models: using ensembles, interval arithmetic and pareto fronts to develop robust and trust-aware models. In: Genetic Programming Theory and Practice V, Genetic and Evolutionary Computation, chap. 12, pp. 201\u2013220. Springer, Ann Arbor (2007)","DOI":"10.1007\/978-0-387-76308-8_12"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Kotanchek, M.E., Vladislavleva, E., Smits, G.: Symbolic Regression Is Not Enough: It Takes a Village to Raise a Model, pp. 187\u2013203. Springer New York, New York, NY (2013)","DOI":"10.1007\/978-1-4614-6846-2_13"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Krawiec, K., Pawlak, T.: Locally geometric semantic crossover. In: GECCO Companion \u201912: Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference companion, pp. 1487\u20131488. ACM, Philadelphia, Pennsylvania, USA (2012)","DOI":"10.1145\/2330784.2331005"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Krawiec, K., Swan, J., O\u2019Reilly, U.M.: Behavioral program synthesis: Insights and prospects. In: Genetic Programming Theory and Practice XIII, Genetic and Evolutionary Computation, pp. 169\u2013183. Springer, Ann Arbor, USA (2015)","DOI":"10.1007\/978-3-319-34223-8_10"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Kronberger, G., Kammerer, L., Burlacu, B., Winkler, S.M., Kommenda, M., Affenzeller, M.: Cluster analysis of a symbolic regression search space. In: Genetic Programming Theory and Practice XVI. Springer, Ann Arbor, USA (2018)","DOI":"10.1007\/978-3-030-04735-1_5"},{"issue":"2","key":"5_CR20","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1090\/qam\/10666","volume":"2","author":"K Levenberg","year":"1944","unstructured":"Levenberg, K.: A method for the solution of certain non-linear problems in least squares. Quarterly of Applied Mathematics 2(2), 164\u2013168 (1944)","journal-title":"Quarterly of Applied Mathematics"},{"issue":"2","key":"5_CR21","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1137\/0111030","volume":"11","author":"DW Marquardt","year":"1963","unstructured":"Marquardt, D.W.: An algorithm for least-squares estimation of nonlinear parameters. Journal of the Society for Industrial and Applied Mathematics 11(2), 431\u2013441 (1963)","journal-title":"Journal of the Society for Industrial and Applied Mathematics"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"McConaghy, T.: FFX: Fast, scalable, deterministic symbolic regression technology. In: Genetic Programming Theory and Practice IX, Genetic and Evolutionary Computation, chap. 13, pp. 235\u2013260. Springer, Ann Arbor, USA (2011)","DOI":"10.1007\/978-1-4614-1770-5_13"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Merkle, R.C.: A digital signature based on a conventional encryption function. In: Advances in Cryptology \u2014 CRYPTO \u201987, pp. 369\u2013378. Springer Berlin Heidelberg, Berlin, Heidelberg (1988)","DOI":"10.1007\/3-540-48184-2_32"},{"issue":"4","key":"5_CR24","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1162\/evco.1997.5.4.401","volume":"5","author":"L Pagie","year":"1997","unstructured":"Pagie, L., Hogeweg, P.: Evolutionary consequences of coevolving targets. Evolutionary Computation 5(4), 401\u2013418 (1997)","journal-title":"Evolutionary Computation"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Poli, R.: A simple but theoretically-motivated method to control bloat in genetic programming. In: Genetic Programming, Proceedings of EuroGP\u20192003, LNCS, vol. 2610, pp. 204\u2013217. Springer-Verlag, Essex (2003)","DOI":"10.1007\/3-540-36599-0_19"},{"issue":"2","key":"5_CR26","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1162\/evco.1997.5.2.123","volume":"5","author":"RP Salustowicz","year":"1997","unstructured":"Salustowicz, R.P., Schmidhuber, J.: Probabilistic incremental program evolution. Evolutionary Computation 5(2), 123\u2013141 (1997)","journal-title":"Evolutionary Computation"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Schmidt, M., Lipson, H.: Co-evolving fitness predictors for accelerating and reducing evaluations. In: Genetic Programming Theory and Practice IV, Genetic and Evolutionary Computation, vol. 5, pp. 113\u2013130. Springer, Ann Arbor (2006)","DOI":"10.1007\/978-0-387-49650-4_8"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Schmidt, M., Lipson, H.: Symbolic regression of implicit equations. In: Genetic Programming Theory and Practice VII, Genetic and Evolutionary Computation, chap. 5, pp. 73\u201385. Springer, Ann Arbor (2009)","DOI":"10.1007\/978-1-4419-1626-6_5"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Schmidt, M., Lipson, H.: Age-fitness pareto optimization. In: Genetic Programming Theory and Practice VIII, Genetic and Evolutionary Computation, vol. 8, chap. 8, pp. 129\u2013146. Springer, Ann Arbor, USA (2010)","DOI":"10.1007\/978-1-4419-7747-2_8"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Smits, G., Kotanchek, M.: Pareto-front exploitation in symbolic regression. In: Genetic Programming Theory and Practice II, chap. 17, pp. 283\u2013299. Springer, Ann Arbor (2004)","DOI":"10.1007\/0-387-23254-0_17"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Stijven, S., Vladislavleva, E., Kordon, A., Kotanchek, M.: Prime-time: Symbolic regression takes its place in industrial analysis. In: Genetic Programming Theory and Practice XIII, Genetic and Evolutionary Computation, pp. 241\u2013260. Springer, Ann Arbor, USA (2015)","DOI":"10.1007\/978-3-319-34223-8_14"},{"key":"5_CR32","unstructured":"Streeter, M.J.: Automated discovery of numerical approximation formulae via genetic programming. Master\u2019s thesis, Computer Science, Worcester Polytechnic Institute, MA, USA (2001)"},{"key":"5_CR33","unstructured":"Topchy, A., Punch, W.F.: Faster genetic programming based on local gradient search of numeric leaf values. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001), pp. 155\u2013162. Morgan Kaufmann, San Francisco, California, USA (2001)"},{"issue":"2","key":"5_CR34","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., Galvan-Lopez, E.: Semantically-based crossover in genetic programming: application to real-valued symbolic regression. Genetic Programming and Evolvable Machines 12(2), 91\u2013119 (2011)","journal-title":"Genetic Programming and Evolvable Machines"},{"issue":"2","key":"5_CR35","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/TEVC.2008.926486","volume":"13","author":"EJ Vladislavleva","year":"2009","unstructured":"Vladislavleva, E.J., Smits, G.F., den Hertog, D.: Order of nonlinearity as a complexity measure for models generated by symbolic regression via Pareto genetic programming. IEEE Transactions on Evolutionary Computation 13(2), 333\u2013349 (2009)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Wagner, S., Affenzeller, M.: HeuristicLab: A generic and extensible optimization environment. In: Adaptive and Natural Computing Algorithms, pp. 538\u2013541. Springer (2005)","DOI":"10.1007\/3-211-27389-1_130"},{"issue":"1","key":"5_CR37","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. Genetic Programming and Evolvable Machines 14(1), 3\u201329 (2013)","journal-title":"Genetic Programming and Evolvable Machines"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Worm, T., Chiu, K.: Prioritized grammar enumeration: symbolic regression by dynamic programming. In: GECCO \u201913: Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference, pp. 1021\u20131028. ACM, Amsterdam, The Netherlands (2013)","DOI":"10.1145\/2463372.2463486"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Zou, H., Hastie, T.: Regularization and variable selection via the elastic net. Journal of the royal statistical society: series B (statistical methodology) 67(2), 301\u2013320 (2005)","DOI":"10.1111\/j.1467-9868.2005.00503.x"}],"container-title":["Genetic and Evolutionary Computation","Genetic Programming Theory and Practice XVII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-39958-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T00:03:26Z","timestamp":1588896206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-39958-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030399573","9783030399580"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-39958-0_5","relation":{},"ISSN":["1932-0167","1932-0175"],"issn-type":[{"value":"1932-0167","type":"print"},{"value":"1932-0175","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}