{"id":"https://openalex.org/W4294982563","doi":"https://doi.org/10.1109/tevc.2022.3205286","title":"Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints","display_name":"Counterexample-Driven Genetic Programming for Symbolic Regression With Formal Constraints","publication_year":2022,"publication_date":"2022-09-08","ids":{"openalex":"https://openalex.org/W4294982563","doi":"https://doi.org/10.1109/tevc.2022.3205286"},"language":"en","primary_location":{"id":"doi:10.1109/tevc.2022.3205286","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tevc.2022.3205286","pdf_url":"https://ieeexplore.ieee.org/ielx7/4235/10269088/09881536.pdf","source":{"id":"https://openalex.org/S93787993","display_name":"IEEE Transactions on Evolutionary Computation","issn_l":"1089-778X","issn":["1089-778X","1941-0026"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Evolutionary Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/4235/10269088/09881536.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006916652","display_name":"Iwo B\u0142\u0105dek","orcid":"https://orcid.org/0000-0003-1991-8797"},"institutions":[{"id":"https://openalex.org/I46597724","display_name":"Pozna\u0144 University of Technology","ror":"https://ror.org/00p7p3302","country_code":"PL","type":"education","lineage":["https://openalex.org/I46597724"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Iwo B\u0142\u0105dek","raw_affiliation_strings":["Institute of Computing Science, Poznan University of Technology, Poznań, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Science, Poznan University of Technology, Poznań, Poland","institution_ids":["https://openalex.org/I46597724"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034406933","display_name":"Krzysztof Krawiec","orcid":"https://orcid.org/0000-0001-5439-3231"},"institutions":[{"id":"https://openalex.org/I46597724","display_name":"Pozna\u0144 University of Technology","ror":"https://ror.org/00p7p3302","country_code":"PL","type":"education","lineage":["https://openalex.org/I46597724"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Krzysztof Krawiec","raw_affiliation_strings":["Institute of Computing Science, Poznan University of Technology, Poznań, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computing Science, Poznan University of Technology, Poznań, Poland","institution_ids":["https://openalex.org/I46597724"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006916652"],"corresponding_institution_ids":["https://openalex.org/I46597724"],"apc_list":null,"apc_paid":null,"fwci":0.9283,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.7880874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"27","issue":"5","first_page":"1327","last_page":"1339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.9822999835014343,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-regression","display_name":"Symbolic regression","score":0.8011230826377869},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.76900315284729},{"id":"https://openalex.org/keywords/genetic-programming","display_name":"Genetic programming","score":0.5972594618797302},{"id":"https://openalex.org/keywords/convexity","display_name":"Convexity","score":0.5695639252662659},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5576780438423157},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49395138025283813},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.4932858347892761},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4826429486274719},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.4648977816104889},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.45260089635849},{"id":"https://openalex.org/keywords/regression-analysis","display_name":"Regression analysis","score":0.4378596544265747},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43425628542900085},{"id":"https://openalex.org/keywords/regression","display_name":"Regression","score":0.4322197437286377},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.42012277245521545},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4071236848831177},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3710958957672119},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35101449489593506},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.308799147605896},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.28249436616897583},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.10226041078567505}],"concepts":[{"id":"https://openalex.org/C2776400721","wikidata":"https://www.wikidata.org/wiki/Q18171762","display_name":"Symbolic regression","level":3,"score":0.8011230826377869},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.76900315284729},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.5972594618797302},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.5695639252662659},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5576780438423157},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49395138025283813},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.4932858347892761},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4826429486274719},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4648977816104889},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.45260089635849},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.4378596544265747},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43425628542900085},{"id":"https://openalex.org/C83546350","wikidata":"https://www.wikidata.org/wiki/Q1139051","display_name":"Regression","level":2,"score":0.4322197437286377},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.42012277245521545},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4071236848831177},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3710958957672119},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35101449489593506},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.308799147605896},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.28249436616897583},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.10226041078567505},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tevc.2022.3205286","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tevc.2022.3205286","pdf_url":"https://ieeexplore.ieee.org/ielx7/4235/10269088/09881536.pdf","source":{"id":"https://openalex.org/S93787993","display_name":"IEEE Transactions on Evolutionary Computation","issn_l":"1089-778X","issn":["1089-778X","1941-0026"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Evolutionary Computation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tevc.2022.3205286","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tevc.2022.3205286","pdf_url":"https://ieeexplore.ieee.org/ielx7/4235/10269088/09881536.pdf","source":{"id":"https://openalex.org/S93787993","display_name":"IEEE Transactions on Evolutionary Computation","issn_l":"1089-778X","issn":["1089-778X","1941-0026"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Evolutionary Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2386486269","display_name":null,"funder_award_id":"2018/29/N/ST6/01646","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"}],"funders":[{"id":"https://openalex.org/F4320322481","display_name":"Politechnika Pozna\u0144ska","ror":"https://ror.org/00p7p3302"},{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"},{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4294982563.pdf","grobid_xml":"https://content.openalex.org/works/W4294982563.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W45352729","https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1566346388","https://openalex.org/W1579983817","https://openalex.org/W1974514467","https://openalex.org/W1987000460","https://openalex.org/W2010647095","https://openalex.org/W2011933251","https://openalex.org/W2028585812","https://openalex.org/W2034068348","https://openalex.org/W2059700429","https://openalex.org/W2084288340","https://openalex.org/W2094878426","https://openalex.org/W2137351629","https://openalex.org/W2139187303","https://openalex.org/W2149236697","https://openalex.org/W2159595840","https://openalex.org/W2204090371","https://openalex.org/W2484166844","https://openalex.org/W2733964674","https://openalex.org/W2780260708","https://openalex.org/W2803418411","https://openalex.org/W2954765142","https://openalex.org/W2995528912","https://openalex.org/W3081686847","https://openalex.org/W3101748278","https://openalex.org/W3120740533","https://openalex.org/W3175893844","https://openalex.org/W4289765664","https://openalex.org/W6601820160","https://openalex.org/W6628836516","https://openalex.org/W6634150146","https://openalex.org/W6680635773","https://openalex.org/W6683303659"],"related_works":["https://openalex.org/W2381504162","https://openalex.org/W1567571923","https://openalex.org/W2472646430","https://openalex.org/W2968285896","https://openalex.org/W2610450612","https://openalex.org/W2549153708","https://openalex.org/W2897801744","https://openalex.org/W2147355282","https://openalex.org/W2394133867","https://openalex.org/W1994957461"],"abstract_inverted_index":{"In":[0],"symbolic":[1],"regression":[2,10,99],"with":[3,14,94],"formal":[4],"constraints,":[5],"the":[6,18,45,51,56,76,83,88,91],"conventional":[7],"formulation":[8],"of":[9,17,50,90,104],"problem":[11],"is":[12,71,79],"extended":[13],"desired":[15],"properties":[16],"target":[19],"model,":[20],"like":[21],"symmetry,":[22],"monotonicity,":[23],"or":[24],"convexity.":[25],"We":[26,86],"present":[27],"a":[28,37,102],"genetic":[29],"programming":[30],"algorithm":[31],"that":[32,108],"solves":[33],"such":[34],"problems":[35],"using":[36,63],"satisfiability":[38],"modulo":[39],"theories":[40],"solver":[41],"to":[42,65,81],"formally":[43],"verify":[44],"candidate":[46],"solutions.":[47],"The":[48,69],"essence":[49],"method":[52,70,93],"consists":[53],"in":[54],"collecting":[55],"counterexamples":[57],"resulting":[58],"from":[59],"model":[60,78],"verification":[61],"and":[62,106],"them":[64,111],"improve":[66],"search":[67],"guidance.":[68],"exact":[72],"upon":[73],"successful":[74],"termination,":[75],"produced":[77],"guaranteed":[80],"meet":[82],"specified":[84],"constraints.":[85],"compare":[87],"effectiveness":[89],"proposed":[92],"standard":[95],"constraint-agnostic":[96],"machine":[97],"learning":[98],"algorithms":[100],"on":[101,112],"range":[103],"benchmarks":[105],"demonstrate":[107],"it":[109],"outperforms":[110],"several":[113],"performance":[114],"indicators.":[115]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}