{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T19:44:04Z","timestamp":1769111044300,"version":"3.49.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319556956","type":"print"},{"value":"9783319556963","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-55696-3_12","type":"book-chapter","created":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T14:53:48Z","timestamp":1489503228000},"page":"178-193","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of Mathematical Programming Constraints with Genetic Programming"],"prefix":"10.1007","author":[{"given":"Tomasz P.","family":"Pawlak","sequence":"first","affiliation":[]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,15]]},"reference":[{"key":"12_CR1","unstructured":"Aswal, A., Prasanna, G.N.S.: Estimating correlated constraint boundaries from timeseries data: the multi-dimensional German tank problem. In: 24th European Conference on Operational Research (2010). http:\/\/slideplayer.com\/slide\/7976536\/ . Accessed 09 May 2016"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-642-33558-7_13","volume-title":"18th International Conference on Principles and Practice of Constraint Programming (CP 2012","author":"N Beldiceanu","year":"2012","unstructured":"Beldiceanu, N., Simonis, H.: A model seeker: extracting global constraint models from positive examples. In: Milano, M. (ed.) 18th International Conference on Principles and Practice of Constraint Programming (CP 2012. LNCS, vol. 7514, pp. 141\u2013157. Springer, Quebec City (2012)"},{"key":"12_CR3","volume-title":"Dynamic Programming. Dover Books on Computer Science","author":"R Bellman","year":"2013","unstructured":"Bellman, R.: Dynamic Programming. Dover Books on Computer Science. Dover Publications, New York (2013)"},{"key":"12_CR4","unstructured":"Bessiere, C., Coletta, R., Hebrard, E., Katsirelos, G., Lazaar, N., Narodytska, N., Quimper, C.G., Walsh, T.: Constraint acquisition via partial queries. In: International Joint Conference on Artificial Intelligence (2013)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/11564096_8","volume-title":"Machine Learning: ECML 2005","author":"C Bessiere","year":"2005","unstructured":"Bessiere, C., Coletta, R., Koriche, F., O\u2019Sullivan, B.: A SAT-based version space algorithm for acquiring constraint satisfaction problems. In: Gama, J., Camacho, R., Brazdil, P.B., Jorge, A.M., Torgo, L. (eds.) ECML 2005. LNCS (LNAI), vol. 3720, pp. 23\u201334. Springer, Heidelberg (2005). doi: 10.1007\/11564096_8"},{"key":"12_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511973000","volume-title":"Machine Learning: The Art and Science of Algorithms That Make Sense of Data","author":"P Flach","year":"2012","unstructured":"Flach, P.: Machine Learning: The Art and Science of Algorithms That Make Sense of Data. Cambridge University Press, New York (2012)"},{"key":"12_CR7","unstructured":"Gomory, R.E.: An algorithm for the mixed integer problem. Technical report, RM-2597-PR, 30 August 1960"},{"issue":"5","key":"12_CR8","doi-asserted-by":"crossref","first-page":"630","DOI":"10.1109\/TEVC.2014.2362729","volume":"19","author":"T Helmuth","year":"2015","unstructured":"Helmuth, T., Spector, L., Matheson, J.: Solving uncompromising problems with lexicase selection. IEEE Trans. Evol. Comput. 19(5), 630\u2013643 (2015)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"12_CR9","unstructured":"Hern\u00e1ndez-Lobato, J.M., Gelbart, M.A., Adams, R.P., Hoffman, M.W., Ghahramani, Z.: A General Framework for Constrained Bayesian Optimization using Information-based Search. ArXiv e-prints, November 2015"},{"key":"12_CR10","unstructured":"Hothorn, T., Hornik, K., van de Wiel, M.A., Zeileis, A.: Package \u2019coin\u2019: conditional inference procedures in a permutation test framework (2015). http:\/\/cran.r-project.org\/web\/packages\/coin\/coin.pdf"},{"issue":"2","key":"12_CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1111\/j.1469-8137.1912.tb05611.x","volume":"11","author":"P Jaccard","year":"1912","unstructured":"Jaccard, P.: The distribution of the flora in the alpine zone. New Phytol. 11(2), 37\u201350 (1912)","journal-title":"New Phytol."},{"key":"12_CR12","volume-title":"100 Statistical Tests","author":"G Kanji","year":"1999","unstructured":"Kanji, G.: 100 Statistical Tests. SAGE Publications, New York (1999)"},{"key":"12_CR13","unstructured":"Kolb, S.: Learning constraints and optimization criteria. In: AAAI Workshops (2016)"},{"key":"12_CR14","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"JR Koza","year":"1992","unstructured":"Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992). http:\/\/mitpress.mit.edu\/books\/genetic-programming"},{"key":"12_CR15","first-page":"163","volume-title":"Advances in Genetic Programming","author":"WB Langdon","year":"1999","unstructured":"Langdon, W.B., Soule, T., Poli, R., Foster, J.A.: The evolution of size and shape. In: Spector, L., Langdon, W.B., O\u2019Reilly, U.M., Angeline, P.J. (eds.) Advances in Genetic Programming, vol. 3, pp. 163\u2013190. MIT Press, Cambridge (1999). (Chap. 8) http:\/\/www.cs.bham.ac.uk\/ wbl\/aigp3\/ch08.pdf"},{"issue":"2","key":"12_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"Montana, D.J.: Strongly typed genetic programming. Evol. Comput. 3(2), 199\u2013230 (1995). http:\/\/vishnu.bbn.com\/papers\/stgp.pdf","journal-title":"Evol. Comput."},{"key":"12_CR17","unstructured":"Nordin, P., Banzhaf, W.: Complexity compression and evolution. In: Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA 1995), pp. 310\u2013317. Morgan Kaufmann, Pittsburgh, 15\u201319 July 1995"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Pawlak, T.P., Krawiec, K.: Automatic synthesis of constraints from examples using mixed integer linear programming. Eur. J. Oper. Res. (2017). (in 2nd review)","DOI":"10.1016\/j.ejor.2017.02.034"},{"issue":"3","key":"12_CR19","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s10710-014-9239-8","volume":"16","author":"TP Pawlak","year":"2015","unstructured":"Pawlak, T.P., Wieloch, B., Krawiec, K.: Review and comparative analysis of geometric semantic crossovers. Genet. Program. Evolvable Mach. 16(3), 351\u2013386 (2015)","journal-title":"Genet. Program. Evolvable Mach."},{"key":"12_CR20","unstructured":"R\u00fcegg, C.: Math.NET Symbolics. http:\/\/symbolics.mathdotnet.com\/"},{"issue":"2","key":"12_CR21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10710-013-9210-0","volume":"15","author":"L Vanneschi","year":"2014","unstructured":"Vanneschi, L., Castelli, M., Silva, S.: A survey of semantic methods in genetic programming. Genet. Program. Evolvable Mach. 15(2), 195\u2013214 (2014). http:\/\/link.springer.com\/article\/10.1007\/s10710-013-9210-0","journal-title":"Genet. Program. Evolvable Mach."},{"key":"12_CR22","volume-title":"Model Building in Mathematical Programming","author":"H Williams","year":"2013","unstructured":"Williams, H.: Model Building in Mathematical Programming. Wiley, New York (2013)"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-55696-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T18:20:44Z","timestamp":1568917244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-55696-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319556956","9783319556963"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-55696-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}