{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:20:27Z","timestamp":1725852027062},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319306674"},{"type":"electronic","value":"9783319306681"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-30668-1_15","type":"book-chapter","created":{"date-parts":[[2016,3,23]],"date-time":"2016-03-23T05:26:10Z","timestamp":1458710770000},"page":"230-245","source":"Crossref","is-referenced-by-count":3,"title":["Towards Automated Strategies in Satisfiability Modulo Theory"],"prefix":"10.1007","author":[{"given":"Nicol\u00e1s","family":"G\u00e1lvez Ram\u00edrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youssef","family":"Hamadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Saubion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,24]]},"reference":[{"key":"15_CR1","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015). \n                      www.SMT-LIB.org"},{"issue":"12","key":"15_CR2","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1057\/jors.2013.71","volume":"64","author":"EK Burke","year":"2013","unstructured":"Burke, E.K., Gendreau, M., Hyde, M., Kendall, G., Ochoa, G., Ozcan, E., Qu, R.: Hyper-heuristics. J. Oper. Res. Soc. 64(12), 1695\u20131724 (2013)","journal-title":"J. Oper. Res. Soc."},{"key":"15_CR3","unstructured":"G\u00e1lvez Ram\u00edrez, N., Hamadi, Y., Monfroy, E., Saubion, F.: Towards Automated Strategies in Satisfiability Modulo Theory: Appendix. \n                      http:\/\/www.inf.utfsm.cl\/~ngalvez\/strategies.pdf"},{"key":"15_CR4","series-title":"Springer Optimization and Its Applications","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-1-4419-1644-0_11","volume-title":"Hybrid Optimization","author":"Y Hamadi","year":"2011","unstructured":"Hamadi, Y., Monfroy, E., Saubion, F.: What is autonomous search? In: van Hentenryck, P., Milano, M. (eds.) Hybrid Optimization. Springer Optimization and Its Applications, vol. 45, pp. 357\u2013391. Springer, New York (2011)"},{"issue":"10","key":"15_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MC.2011.263","volume":"44","author":"M Harman","year":"2011","unstructured":"Harman, M.: Software engineering meets evolutionary computation. Computer 44(10), 31\u201339 (2011)","journal-title":"Computer"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Harman, M.: The role of Artificial Intelligence in Software Engineering. In: 2012 First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE), pp. 1\u20136 (2012)","DOI":"10.1109\/RAISE.2012.6227961"},{"issue":"1","key":"15_CR7","first-page":"267","volume":"36","author":"F Hutter","year":"2009","unstructured":"Hutter, F., Hoos, H.H., Leyton-Brown, K., St\u00fctzle, T.: ParamILS: an automatic algorithm configuration framework. J. Artif. Int. Res. 36(1), 267\u2013306 (2009)","journal-title":"J. Artif. Int. Res."},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-36675-8_2","volume-title":"Automated Reasoning and Mathematics","author":"L Moura de","year":"2013","unstructured":"de Moura, L., Passmore, G.O.: The strategy challenge in SMT solving. In: Bonacina, M.P., Stickel, M.E. (eds.) Automated Reasoning and Mathematics. LNCS, vol. 7788, pp. 15\u201344. Springer, Heidelberg (2013)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Nannen, V., Eiben, A.: Efficient relevance estimation and value calibration of evolutionary algorithm parameters. In: IEEE Congress on Evolutionary Computation, CEC, pp. 103\u2013110 (2007)","DOI":"10.1109\/CEC.2007.4424460"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-39742-4_21","volume-title":"Search Based Software Engineering","author":"J Petke","year":"2013","unstructured":"Petke, J., Langdon, W.B., Harman, M.: Applying genetic improvement to MiniSAT. In: Ruhe, G., Zhang, Y. (eds.) SSBSE 2013. LNCS, vol. 8084, pp. 257\u2013262. Springer, Heidelberg (2013)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Riff, M.C., Montero, E.: A new algorithm for reducing metaheuristic design effort. In: 2013 IEEE Congress on Evolutionary Computation (CEC), pp. 3283\u20133290, June 2013","DOI":"10.1109\/CEC.2013.6557972"},{"key":"15_CR13","unstructured":"SMT-LIB Community: SMT-LIB Logics, Accessed 10 September 2015. \n                      http:\/\/smtlib.cs.uiowa.edu\/logics.shtml"}],"container-title":["Lecture Notes in Computer Science","Genetic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30668-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:36:40Z","timestamp":1559410600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30668-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319306674","9783319306681"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30668-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}