{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:38:15Z","timestamp":1760708295612},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_40","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T00:40:34Z","timestamp":1303692034000},"page":"352-357","source":"Crossref","is-referenced-by-count":42,"title":["A Portfolio Solver for Answer Set Programming: Preliminary Report"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[]},{"given":"Roland","family":"Kaminski","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Kaufmann","sequence":"additional","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]},{"given":"Marius Thomas","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Ziller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"40_CR2","first-page":"386","volume-title":"IJCAI 2007","author":"M. Gebser","year":"2007","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386\u2013392. AAAI Press, Menlo Park (2007)"},{"key":"40_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/978-3-642-04244-7_51","volume-title":"Principles and Practice of Constraint Programming - CP 2009","author":"K. Pipatsrisawat","year":"2009","unstructured":"Pipatsrisawat, K., Darwiche, A.: On the power of clause-learning SAT solvers with restarts. In: Gent, I.P. (ed.) CP 2009. LNCS, vol.\u00a05732, pp. 654\u2013668. Springer, Heidelberg (2009)"},{"key":"40_CR4","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., Leyton-Brown, K.: SATzilla: Portfolio-based algorithm selection for SAT. JAIR\u00a032, 565\u2013606 (2008)","journal-title":"JAIR"},{"issue":"10","key":"40_CR5","first-page":"203","volume":"11","author":"D. Basak","year":"2007","unstructured":"Basak, D., Pal, S., Patranabis, D.: Support vector regression. NIP\u00a011(10), 203\u2013224 (2007)","journal-title":"NIP"},{"key":"40_CR6","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1613\/jair.2861","volume":"36","author":"F. Hutter","year":"2009","unstructured":"Hutter, F., Hoos, H., Leyton-Brown, K., St\u00fctzle, T.: ParamILS: An automatic algorithm configuration framework. JAIR\u00a036, 267\u2013306 (2009)","journal-title":"JAIR"},{"key":"40_CR7","unstructured":"http:\/\/potassco.sourceforge.net"},{"key":"40_CR8","unstructured":"http:\/\/www.csie.ntu.edu.tw\/~cjlin\/libsvm"},{"key":"40_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/978-3-642-04238-6_75","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The second answer set programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"key":"40_CR10","unstructured":"Balduccini, M.: Learning domain-specific heuristics for answer set solvers. In: ICLP 2010 Tech. Comm., pp. 14\u201323 (2010)"},{"key":"40_CR11","first-page":"210","volume-title":"AAAI 2010","author":"L. Xu","year":"2010","unstructured":"Xu, L., Hoos, H., Leyton-Brown, K.: Hydra: Automatically configuring algorithms for portfolio-based selection. In: AAAI 2010, pp. 210\u2013216. AAAI Press, Menlo Park (2010)"},{"issue":"3-4","key":"40_CR12","first-page":"295","volume":"47","author":"M. Gagliolo","year":"2006","unstructured":"Gagliolo, M., Schmidhuber, J.: Learning dynamic algorithm portfolios. AMAI\u00a047(3-4), 295\u2013328 (2006)","journal-title":"AMAI"},{"key":"40_CR13","first-page":"255","volume-title":"AAAI 2007","author":"H. Samulowitz","year":"2007","unstructured":"Samulowitz, H., Memisevic, R.: Learning to solve QBF. In: AAAI 2007, pp. 255\u2013260. AAAI Press, Menlo Park (2007)"},{"key":"40_CR14","unstructured":"O\u2019Mahony, E., Hebrard, E., Holland, A., Nugent, C., O\u2019Sullivan, B.: Using case-based reasoning in an algorithm portfolio for constraint solving. In: AICS 2008 (2008)"},{"issue":"1","key":"40_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/s10601-008-9051-2","volume":"14","author":"L. Pulina","year":"2009","unstructured":"Pulina, L., Tacchella, A.: A self-adaptive multi-engine solver for quantified Boolean formulas. Constraints\u00a014(1), 80\u2013116 (2009)","journal-title":"Constraints"},{"key":"40_CR16","first-page":"53","volume-title":"ICTAI 2010","author":"A. Arbelaez","year":"2010","unstructured":"Arbelaez, A., Hamadi, Y., Sebag, M.: Continuous search in constraint programming. In: ICTAI 2010, pp. 53\u201360. IEEE Press, Los Alamitos (2010)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:26:29Z","timestamp":1558574789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}