{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T05:57:49Z","timestamp":1783749469678,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T00:00:00Z","timestamp":1562976000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2018\/29\/N\/ST6\/01646"],"award-info":[{"award-number":["2018\/29\/N\/ST6\/01646"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,13]]},"DOI":"10.1145\/3321707.3321743","type":"proceedings-article","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T13:48:04Z","timestamp":1562161684000},"page":"977-984","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Solving symbolic regression problems with formal constraints"],"prefix":"10.1145","author":[{"given":"Iwo","family":"B\u0142\u0105dek","sequence":"first","affiliation":[{"name":"Poznan University of Technology, Poznan, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[{"name":"Poznan University of Technology, Poznan, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,13]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1162\/evco_a_00228"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-011-4200-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2362729"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_6_1","unstructured":"Colin Johnson. 2007. Genetic Programming with Fitness based on Model Checking. In Proceedings of the 10th European Conference on Genetic Programming (Lecture Notes in Computer Science) Marc Ebner Michael O'Neill Anik\u00f3 Ek\u00e1rt Leonardo Vanneschi and Anna Isabel Esparcia-Alc\u00e1zar (Eds.) Vol. 4445. Springer Valencia Spain 114--124. https:\/\/doi.org\/   Colin Johnson. 2007. Genetic Programming with Fitness based on Model Checking. In Proceedings of the 10th European Conference on Genetic Programming (Lecture Notes in Computer Science) Marc Ebner Michael O'Neill Anik\u00f3 Ek\u00e1rt Leonardo Vanneschi and Anna Isabel Esparcia-Alc\u00e1zar (Eds.) Vol. 4445. Springer Valencia Spain 114--124. https:\/\/doi.org\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_5"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings 15th International Workshop on Verification of Infinite-State Systems, Hanoi, Vietnam, 14th","author":"Katz Gal","year":"2013","unstructured":"Gal Katz and Doron Peled . 2014. Synthesis of Parametric Programs using Genetic Programming and Model Checking . In Proceedings 15th International Workshop on Verification of Infinite-State Systems, Hanoi, Vietnam, 14th October 2013 (Electronic Proceedings in Theoretical Computer Science), Lukas Holik and Lorenzo Clemente (Eds.), Vol. 140 . Open Publishing Association , 70--84. Gal Katz and Doron Peled. 2014. Synthesis of Parametric Programs using Genetic Programming and Model Checking. In Proceedings 15th International Workshop on Verification of Infinite-State Systems, Hanoi, Vietnam, 14th October 2013 (Electronic Proceedings in Theoretical Computer Science), Lukas Holik and Lorenzo Clemente (Eds.), Vol. 140. Open Publishing Association, 70--84."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0418-1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071224"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908812.2908898"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0895-7177(01)00109-1"},{"key":"e_1_3_2_1_13_1","unstructured":"Riccardo Poli William B. Langdon and Nicholas Freitag McPhee. 2008. A Field Guide to Genetic Programming. Published via http:\/\/lulu.com. http:\/\/www.gp-field-guide.org.uk\/   Riccardo Poli William B. Langdon and Nicholas Freitag McPhee. 2008. A Field Guide to Genetic Programming. Published via http:\/\/lulu.com. http:\/\/www.gp-field-guide.org.uk\/"}],"event":{"name":"GECCO '19: Genetic and Evolutionary Computation Conference","location":"Prague Czech Republic","acronym":"GECCO '19","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3321707.3321743","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3321707.3321743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:19Z","timestamp":1750204399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3321707.3321743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,13]]},"references-count":12,"alternative-id":["10.1145\/3321707.3321743","10.1145\/3321707"],"URL":"https:\/\/doi.org\/10.1145\/3321707.3321743","relation":{},"subject":[],"published":{"date-parts":[[2019,7,13]]},"assertion":[{"value":"2019-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}