{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:04:44Z","timestamp":1786979084808,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642449727","type":"print"},{"value":"9783642449734","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-44973-4_17","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T03:47:05Z","timestamp":1385351225000},"page":"153-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Boosting Sequential Solver Portfolios: Knowledge Sharing and Accuracy Prediction"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Malitsky","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ashish","family":"Sabharwal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Horst","family":"Samulowitz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meinolf","family":"Sellmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,11,26]]},"reference":[{"key":"17_CR1","unstructured":"Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: 21st IJCAI, Pasadena, CA, pp. 399\u2013404, July 2009"},{"key":"17_CR2","unstructured":"Biere, A.: Plingeling: solver description, SAT Race (2010)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: STOC, pp. 151\u2013158. ACM (1971)","DOI":"10.1145\/800157.805047"},{"issue":"1\u20132","key":"17_CR4","first-page":"43","volume":"126","author":"CP Gomes","year":"2001","unstructured":"Gomes, C.P., Selman, B.: Algorithm portfolios. AI J. 126(1\u20132), 43\u201362 (2001)","journal-title":"AI J."},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"M Hall","year":"2009","unstructured":"Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The WEKA data mining software: an update. SIGKDD Explor. 11(1), 10\u201318 (2009)","journal-title":"SIGKDD Explor."},{"key":"17_CR6","first-page":"245","volume":"6","author":"Y Hamadi","year":"2009","unstructured":"Hamadi, Y., Sais, L.: ManySAT: a parallel SAT solver. JSAT 6, 245\u2013262 (2009)","journal-title":"JSAT"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0065-2458(08)60520-3","volume":"15","author":"JR Rice","year":"1976","unstructured":"Rice, J.R.: The algorithm selection problem. Adv. Comput. 15, 65\u2013118 (1976)","journal-title":"Adv. Comput."},{"key":"17_CR8","first-page":"454","volume-title":"CP 2011. LNCS","author":"S Kadioglu","year":"2011","unstructured":"Kadioglu, S., Malitsky, Y., Sabharwal, A., Samulowitz, H., Sellmann, M.: Algorithm selection and scheduling. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 454\u2013469. Springer, Heidelberg (2011)"},{"key":"17_CR9","unstructured":"Leyton-Brown, K., Nudelman, E., Andrew, G., McFadden, J., Shoham, Y.: A portfolio approach to algorithm selection. In: IJCAI, pp. 1542\u20131543 (2003)"},{"key":"17_CR10","first-page":"369","volume-title":"SAT 2011. LNCS","author":"Y Malitsky","year":"2011","unstructured":"Malitsky, Y., Sabharwal, A., Samulowitz, H., Sellmann, M.: Non-model-based algorithm portfolios for SAT. In: Sakallah, K.A., Simon, L. (eds.) SAT 2011. LNCS, vol. 6695, pp. 369\u2013370. Springer, Heidelberg (2011)"},{"issue":"5","key":"17_CR11","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1109\/TEVC.2010.2040183","volume":"14","author":"F Peng","year":"2010","unstructured":"Peng, F., Tang, K., Chen, G., Yao, X.: Population-based algorithm portfolios for numerical optimization. IEEE Trans. Evol. Comput. 14(5), 782\u2013800 (2010)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"17_CR12","unstructured":"Soos, M.: CryptoMiniSat 2.9.0. http:\/\/www.msoos.org\/cryptominisat2 (2010)"},{"key":"17_CR13","unstructured":"Sorensson, N., Een, N.: SatELite 1.0. http:\/\/minisat.se (2005)"},{"key":"17_CR14","unstructured":"Sorensson, N., Een, N.: MiniSAT 2.2.0. http:\/\/minisat.se (2010)"},{"key":"17_CR15","first-page":"712","volume-title":"CP 2007. LNCS","author":"L Xu","year":"2007","unstructured":"Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla-07: the design and analysis of an algorithm portfolio for SAT. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 712\u2013727. Springer, Heidelberg (2007)"},{"issue":"1","key":"17_CR16","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","volume":"32","author":"L Xu","year":"2008","unstructured":"Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: SATzilla: portfolio-based algorithm selection for SAT. JAIR 32(1), 565\u2013606 (2008)","journal-title":"JAIR"}],"container-title":["Lecture Notes in Computer Science","Learning and Intelligent Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-44973-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T03:26:34Z","timestamp":1676345194000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-44973-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642449727","9783642449734"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-44973-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"26 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}