{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T11:52:32Z","timestamp":1769860352455,"version":"3.49.0"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004239","name":"Politechnika Pozna\u0144ska","doi-asserted-by":"publisher","award":["09\/91\/DSMK\/0634"],"award-info":[{"award-number":["09\/91\/DSMK\/0634"]}],"id":[{"id":"10.13039\/501100004239","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001870","name":"Foundation for Polish Science","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001870","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2014\/15\/B\/ST6\/05205"],"award-info":[{"award-number":["2014\/15\/B\/ST6\/05205"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Evol. Computat."],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/tevc.2018.2835565","type":"journal-article","created":{"date-parts":[[2018,5,11]],"date-time":"2018-05-11T19:37:44Z","timestamp":1526067464000},"page":"117-129","source":"Crossref","is-referenced-by-count":18,"title":["Synthesis of Constraints for Mathematical Programming With One-Class Genetic Programming"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8353-0562","authenticated-orcid":false,"given":"Tomasz P.","family":"Pawlak","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5439-3231","authenticated-orcid":false,"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","first-page":"1","article-title":"Competent geometric semantic genetic programming for symbolic regression and boolean function synthesis","author":"pawlak","year":"2017","journal-title":"Evol Comput"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-014-9239-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2321259"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235821"},{"key":"ref34","article-title":"Synthesis of mathematical programming models with one-class evolutionary strategies","author":"pawlak","year":"2018","journal-title":"Swarm Evol Comput"},{"key":"ref10","first-page":"403","article-title":"Learning constraints and optimization criteria","author":"kolb","year":"2016","journal-title":"Proc AAAI 99 Workshop"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.04.002"},{"key":"ref12","first-page":"5549","article-title":"A general framework for constrained Bayesian optimization using information-based search","volume":"17","author":"hern\u00e1ndez-lobato","year":"2016","journal-title":"J Mach Learn Res"},{"key":"ref13","article-title":"One-class classification: Concept-learning in the absence of counter-examples","author":"tax","year":"2001"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00994018"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.007"},{"key":"ref16","author":"quinlan","year":"1993","journal-title":"C4 5 Programs for Machine Learning"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01181-8_1"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-30668-1_1","article-title":"One-class classification for anomaly detection with kernel density estimation and genetic programming","volume":"9594","author":"cao","year":"2016","journal-title":"Proc 11th Eur Conf Genet Program (EuroGP)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1561\/2200000006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2009.05.016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"ref27","author":"bellman","year":"2013","journal-title":"Dynamic Programming (Dover Books on Computer Science)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2362729"},{"key":"ref6","first-page":"50","article-title":"Query-driven constraint acquisition","author":"bessiere","year":"2007","journal-title":"Proc IJCAI"},{"key":"ref29","year":"2015","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref5","first-page":"23","author":"bessiere","year":"2005","journal-title":"A SAT-Based Space Algorithm for Acquiring Constraint Satisfaction Problems"},{"key":"ref8","first-page":"1","article-title":"Estimating correlated constraint boundaries from timeseries data: The multi-dimensional German tank problem","author":"aswal","year":"2010","journal-title":"Proc EuRAD"},{"key":"ref7","first-page":"475","article-title":"Constraint acquisition via partial queries","author":"bessiere","year":"2013","journal-title":"Proc IJCAI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2017.02.034"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-642-33558-7_13","article-title":"A model seeker: Extracting global constraint models from positive examples","author":"beldiceanu","year":"2012","journal-title":"Principles and Practice of Constraint Programming (LNCS 7514)"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/978-3-319-55696-3_12","article-title":"Synthesis of mathematical programming constraints with genetic programming","volume":"10196","author":"pawlak","year":"2017","journal-title":"Proc 20th Eur Conf Genet Program (EuroGP)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2006.05.013"},{"key":"ref22","author":"koza","year":"1992","journal-title":"Genetic Programming On the Programming of Computers by Means of Natural Selection"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"ref24","author":"r\u00fcegg","year":"2018","journal-title":"Math NET Symbolics"},{"key":"ref23","first-page":"155","article-title":"Uniform object generation for optimizing one-class classifiers","volume":"2","author":"tax","year":"2002","journal-title":"J Mach Learn Res"},{"key":"ref26","author":"hothorn","year":"2015","journal-title":"Package ‘Coin’ Conditional Inference Procedures in a Permutation Test Framework"},{"key":"ref25","first-page":"100","author":"kanji","year":"1999","journal-title":"Statistical Test"}],"container-title":["IEEE Transactions on Evolutionary Computation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4235\/8628278\/08357939.pdf?arnumber=8357939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:08:56Z","timestamp":1657746536000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8357939\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":34,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tevc.2018.2835565","relation":{},"ISSN":["1089-778X","1089-778X","1941-0026"],"issn-type":[{"value":"1089-778X","type":"print"},{"value":"1089-778X","type":"print"},{"value":"1941-0026","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2]]}}}