{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T18:59:37Z","timestamp":1777316377682,"version":"3.51.4"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032230041","type":"print"},{"value":"9783032230058","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-23005-8_9","type":"book-chapter","created":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T18:31:14Z","timestamp":1777314674000},"page":"140-155","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sinking the\u00a0Bloat in\u00a0Genetic Programming Using Equality Saturation"],"prefix":"10.1007","author":[{"given":"Lucas","family":"Miranda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5118-2399","authenticated-orcid":false,"given":"Matheus","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5374-2521","authenticated-orcid":false,"given":"Emilio","family":"Francesquini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2741-8736","authenticated-orcid":false,"given":"Fabricio Olivetti","family":"de Franca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,28]]},"reference":[{"issue":"2104","key":"9_CR1","doi-asserted-by":"publisher","first-page":"20150403","DOI":"10.1098\/rsta.2015.0403","volume":"375","author":"C David","year":"2017","unstructured":"David, C., Kroening, D.: Program synthesis: challenges and opportunities. Philos. Trans. Roy. Soc. A: Math. Phys. Eng. Sci. 375(2104), 20150403 (2017)","journal-title":"Philos. Trans. Roy. Soc. A: Math. Phys. Eng. Sci."},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Fernandes, M.C., De\u00a0Fran\u00c7a, F.O., Francesquini, E.: HotGP - higher-order typed genetic programming. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO \u201923, pp. 1091\u20131099. Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3583131.3590464","DOI":"10.1145\/3583131.3590464"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"de\u00a0Franca, F.O., Kronberger, G.: Reducing overparameterization of symbolic regression models with equality saturation. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1064\u20131072 (2023)","DOI":"10.1145\/3583131.3590346"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"de\u00a0Franca, F.O., Kronberger, G.: Improving genetic programming for symbolic regression with equality graphs. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 989\u2013998 (2025)","DOI":"10.1145\/3712256.3726383"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Gulwani, S.: Dimensions in program synthesis. In: Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, pp. 13\u201324 (2010)","DOI":"10.1145\/1836089.1836091"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Helmuth, T., Spector, L.: General program synthesis benchmark suite. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, pp. 1039\u20131046 (2015)","DOI":"10.1145\/2739480.2754769"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Helmuth, T., Spector, L.: General program synthesis benchmark suite. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO \u201915, pp. 1039\u20131046. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2739480.2754769","DOI":"10.1145\/2739480.2754769"},{"key":"9_CR8","unstructured":"Koza, J.: Genetic programming: a paradigm for genetically breeding populations of computer programs to solve problems. Technical report STAN-CS-90-1314, Department of Computer Science, Stanford University (1990)"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Koza, J.R.: Genetic programming as a means for programming computers by natural selection. Stat. Computi. 4(2) (1994). https:\/\/doi.org\/10.1007\/BF00175355","DOI":"10.1007\/BF00175355"},{"key":"9_CR10","unstructured":"Koza, J.R., et\u00a0al.: Hierarchical genetic algorithms operating on populations of computer programs. In: IJCAI, vol.\u00a089, pp. 768\u2013774 (1989)"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Kronberger, G., Olivetti\u00a0de Franca, F., Desmond, H., Bartlett, D.J., Kammerer, L.: The inefficiency of genetic programming for symbolic regression. In: Affenzeller, M., et al. (eds.) PPSN 2024. LNCS, vol. 15148, pp. 273\u2013289. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-70055-2_17","DOI":"10.1007\/978-3-031-70055-2_17"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Luke, S., Panait, L.: A comparison of bloat control methods for genetic programming. Evol. Comput. 14, 309\u201344 (2006). https:\/\/doi.org\/10.1162\/evco.2006.14.3.309","DOI":"10.1162\/evco.2006.14.3.309"},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/362566.362568","volume":"14","author":"Z Manna","year":"1971","unstructured":"Manna, Z., Waldinger, R.J.: Toward automatic program synthesis. Commun. ACM 14(3), 151\u2013165 (1971)","journal-title":"Commun. ACM"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Montana, D.J.: Strongly typed genetic programming. Evol. Comput. 3(2), 199\u2013230 (1995). https:\/\/doi.org\/10.1162\/evco.1995.3.2.199","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"9_CR15","doi-asserted-by":"publisher","unstructured":"Olsson, R.: Inductive functional programming using incremental program transformation. Artif. Intell. 74(1), 55\u201381 (1995). https:\/\/doi.org\/10.1016\/0004-3702(94)00042-Y","DOI":"10.1016\/0004-3702(94)00042-Y"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Pantridge, E., Spector, L.: Code building genetic programming. In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, pp. 994\u20131002 (2020)","DOI":"10.1145\/3377930.3390239"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-36599-0_19","volume-title":"Genetic Programming","author":"R Poli","year":"2003","unstructured":"Poli, R.: A simple but theoretically-motivated method to control bloat in genetic programming. In: Ryan, C., Soule, T., Keijzer, M., Tsang, E., Poli, R., Costa, E. (eds.) EuroGP 2003. LNCS, vol. 2610, pp. 204\u2013217. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36599-0_19"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 313\u2013326 (2010)","DOI":"10.1145\/1706299.1706337"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Tate, R., Stepp, M., Tatlock, Z., Lerner, S.: Equality saturation: a new approach to optimization. In: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 264\u2013276 (2009)","DOI":"10.1145\/1480881.1480915"},{"key":"9_CR20","doi-asserted-by":"publisher","unstructured":"Vanneschi, L., Castelli, M., Silva, S.: Measuring bloat, overfitting and functional complexity in genetic programming. In: Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation. GECCO \u201910, pp. 877\u2013884. Association for Computing Machinery, New York, NY, USA (2010). https:\/\/doi.org\/10.1145\/1830483.1830643","DOI":"10.1145\/1830483.1830643"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Willsey, M., Nandi, C., Wang, Y.R., Flatt, O., Tatlock, Z., Panchekha, P.: egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5(POPL) (2021). https:\/\/doi.org\/10.1145\/3434304","DOI":"10.1145\/3434304"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45355-5_17","volume-title":"Genetic Programming","author":"T Yu","year":"2001","unstructured":"Yu, T.: Polymorphism and genetic programming. In: Miller, J., Tomassini, M., Lanzi, P.L., Ryan, C., Tettamanzi, A.G.B., Langdon, W.B. (eds.) EuroGP 2001. LNCS, vol. 2038, pp. 218\u2013233. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45355-5_17"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Yu, T.: Polymorphism and genetic programming. In: Proceedings of the 4th European Conference on Genetic Programming. EuroGP \u201901, pp. 218\u2013233. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45355-5_17"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-23005-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T18:31:21Z","timestamp":1777314681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-23005-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032230041","9783032230058"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-23005-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"28 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EuroGP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Genetic Programming (Part of EvoStar)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurogp2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.evostar.org\/2026\/eurogp\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}