{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T14:37:24Z","timestamp":1777559844424,"version":"3.51.4"},"reference-count":62,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIC"],"published-print":{"date-parts":[[2015,9,18]]},"DOI":"10.3233\/aic-150671","type":"journal-article","created":{"date-parts":[[2015,9,22]],"date-time":"2015-09-22T11:58:01Z","timestamp":1442923081000},"page":"717-733","source":"Crossref","is-referenced-by-count":6,"title":["Portfolio-based planning: State of the art, common practice and open challenges"],"prefix":"10.1177","volume":"28","author":[{"given":"Mauro","family":"Vallati","sequence":"first","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield, Huddersfield, West Yorkshire, HD1 3DH, UK. E-mails:\u00a0m.vallati@hud.ac.uk,\u00a0l.chrpa@hud.ac.uk,\u00a0d.kitchin@hud.ac.uk"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luk\u00e1\u0161","family":"Chrpa","sequence":"additional","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield, Huddersfield, West Yorkshire, HD1 3DH, UK. E-mails:\u00a0m.vallati@hud.ac.uk,\u00a0l.chrpa@hud.ac.uk,\u00a0d.kitchin@hud.ac.uk"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diane","family":"Kitchin","sequence":"additional","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield, Huddersfield, West Yorkshire, HD1 3DH, UK. E-mails:\u00a0m.vallati@hud.ac.uk,\u00a0l.chrpa@hud.ac.uk,\u00a0d.kitchin@hud.ac.uk"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/AIC-150671_ref1","doi-asserted-by":"crossref","unstructured":"[1]C.\u00a0Areces, F.\u00a0Bustos, M.\u00a0Dominguez and J.\u00a0Hoffmann, Optimizing planning domains by automatic action schema splitting, in: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS, 2014.","DOI":"10.1609\/icaps.v24i1.13622"},{"key":"10.3233\/AIC-150671_ref2","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1023\/A:1013689704352","article-title":"Finite-time analysis of the multiarmed bandit problem","volume":"47","author":"Auer","year":"2002","journal-title":"Machine Learning"},{"key":"10.3233\/AIC-150671_ref3","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1111\/j.1467-8640.1995.tb00052.x","article-title":"Complexity results for SAS+ planning","volume":"11","author":"B\u00e4ckstr\u00f6m","year":"1993","journal-title":"Computational Intelligence"},{"key":"10.3233\/AIC-150671_ref4","unstructured":"[4]I.\u00a0Cenamor, T.\u00a0de la Rosa and F.\u00a0Fern\u00e1ndez, Learning predictive models to configure planning portfolios, in: Proceedings of the 4th Workshop on Planning and Learning (ICAPS-PAL 2013), 2013, pp.\u00a014\u201322."},{"key":"10.3233\/AIC-150671_ref5","unstructured":"[5]I.\u00a0Cenamor, T.\u00a0de la Rosa and F.\u00a0Fern\u00e1ndez, IBaCoP and IBaCoP2 planner, in: The Eighth International Planning Competition. Description of Participant Planners of the Deterministic Track, 2014."},{"issue":"1","key":"10.3233\/AIC-150671_ref6","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01442131","article-title":"Pareto optimality in multiobjective problems","volume":"4","author":"Censor","year":"1977","journal-title":"Applied Mathematics and Optimization"},{"key":"10.3233\/AIC-150671_ref7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.1918","article-title":"Temporal planning using subgoal partitioning and resolution in SGPlan","volume":"26","author":"Chen","year":"2006","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref8","unstructured":"[8]L.\u00a0Chrpa and T.L.\u00a0McCluskey, On exploiting structures of classical planning problems: Generalizing entanglements, in: 20th European Conference on Artificial Intelligence (ECAI-2012), 2012, pp.\u00a0240\u2013245."},{"key":"10.3233\/AIC-150671_ref9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1609\/aimag.v33i1.2392","article-title":"A survey of the seventh international planning competition","volume":"33","author":"Coles","year":"2012","journal-title":"AI Magazine"},{"key":"10.3233\/AIC-150671_ref10","doi-asserted-by":"crossref","unstructured":"[10]C.\u00a0Fawcett, M.\u00a0Vallati, F.\u00a0Hutter, J.\u00a0Hoffmann, H.H.\u00a0Hoos and K.\u00a0Leyton-Brown, Improved features for runtime prediction of domain-independent planners, in: Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS, 2014, pp.\u00a0355\u2013359.","DOI":"10.1609\/icaps.v24i1.13680"},{"key":"10.3233\/AIC-150671_ref11","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10994-011-5234-y","article-title":"The first learning track of the international planning competition","volume":"84","author":"Fern","year":"2011","journal-title":"Machine Learning"},{"key":"10.3233\/AIC-150671_ref12","unstructured":"[12]A.\u00a0Fern, S.W.\u00a0Yoon and R.\u00a0Givan, Learning domain-specific control knowledge from random walks, in: Proceedings of the 14th International Conference on Automated Planning & Scheduling (ICAPS), 2004, pp.\u00a0191\u2013199."},{"key":"10.3233\/AIC-150671_ref13","doi-asserted-by":"crossref","unstructured":"[13]R.\u00a0Fuentetaja and D.\u00a0Borrajo, Improving control-knowledge acquisition for planning by active learning, in: Proceedings of the 17th European Conference on Machine Learning (ECML), Springer, 2006, pp.\u00a0138\u2013149.","DOI":"10.1007\/11871842_17"},{"key":"10.3233\/AIC-150671_ref14","doi-asserted-by":"crossref","unstructured":"[14]M.\u00a0Gebser, R.\u00a0Kaminski, B.\u00a0Kaufmann, T.\u00a0Schaub, M.T.\u00a0Schneider and S.\u00a0Ziller, A portfolio solver for answer set programming: Preliminary report, in: Logic Programming and Nonmonotonic Reasoning, Springer, 2011, pp.\u00a0352\u2013357.","DOI":"10.1007\/978-3-642-20895-9_40"},{"key":"10.3233\/AIC-150671_ref15","doi-asserted-by":"crossref","unstructured":"[15]H.\u00a0Geffner and B.\u00a0Bonet, A Concise Introduction to Models and Methods for Automated Planning, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2013.","DOI":"10.2200\/S00513ED1V01Y201306AIM022"},{"key":"10.3233\/AIC-150671_ref16","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1613\/jair.1183","article-title":"Planning through stochastic local search and temporal action graphs","volume":"20","author":"Gerevini","year":"2003","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref17","doi-asserted-by":"crossref","unstructured":"[17]A.\u00a0Gerevini, A.\u00a0Saetti and M.\u00a0Vallati, An automatically configurable portfolio-based planner with macro-actions: PbP, in: Proceedings of the 19th International Conference on Automated Planning & Scheduling (ICAPS-09), AAAI Press, 2009, pp.\u00a0350\u2013353.","DOI":"10.1609\/icaps.v19i1.13386"},{"key":"10.3233\/AIC-150671_ref18","unstructured":"[18]A.\u00a0Gerevini, A.\u00a0Saetti and M.\u00a0Vallati, PbP2: Automatic configuration of a portfolio-based multiplanner, in: Working Notes of 21st International Conference on Automated Planning & Scheduling (ICAPS-11) \u2013 7th International Planning Competition, 2011."},{"key":"10.3233\/AIC-150671_ref19","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1613\/jair.4359","article-title":"Planning through automatic portfolio configuration: The PbP approach","volume":"50","author":"Gerevini","year":"2014","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref20","doi-asserted-by":"crossref","unstructured":"[20]M.\u00a0Ghallab, D.\u00a0Nau and P.\u00a0Traverso, Automated Planning: Theory & Practice, Morgan Kaufmann Publishers, 2004.","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"issue":"1,2","key":"10.3233\/AIC-150671_ref21","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0004-3702(00)00081-3","article-title":"Algorithm portfolios","volume":"126","author":"Gomes","year":"2001","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-150671_ref22","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1613\/jair.1705","article-title":"The Fast Downward planning system","volume":"26","author":"Helmert","year":"2006","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref23","unstructured":"[23]M.\u00a0Helmert, G.\u00a0R\u00f6ger and E.\u00a0Karpas, Fast Downward Stone Soup: A baseline for building planner portfolios, in: Proceedings of the ICAPS-11 Workshop of AI Planning and Learning (PAL), 2011."},{"key":"10.3233\/AIC-150671_ref24","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1613\/jair.1144","article-title":"The Metric-FF planning system: Translating \u201cignoring delete lists\u201d to numeric state variables","volume":"20","author":"Hoffmann","year":"2003","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.935","article-title":"A critical assessment of benchmark comparison in planning","volume":"17","author":"Howe","year":"2002","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref26","doi-asserted-by":"crossref","unstructured":"[26]A.\u00a0Howe, E.\u00a0Dahlman, C.\u00a0Hansen, A.\u00a0von Mayrhauser and M.\u00a0Scheetz, Exploiting competitive planner performance, in: Proceedings of the 5th European Conference on Planning (ECP-99), Springer, 1999, pp.\u00a062\u201372.","DOI":"10.1007\/10720246_5"},{"key":"10.3233\/AIC-150671_ref27","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1126\/science.275.5296.51","article-title":"An economics approach to hard computational problems","volume":"265","author":"Huberman","year":"1997","journal-title":"Science"},{"key":"10.3233\/AIC-150671_ref28","doi-asserted-by":"crossref","unstructured":"[28]F.\u00a0Hutter, H.H.\u00a0Hoos and K.\u00a0Leyton-Brown, Sequential model-based optimization for general algorithm configuration, in: Learning and Intelligent Optimization, Springer, 2011, pp.\u00a0507\u2013523.","DOI":"10.1007\/978-3-642-25566-3_40"},{"key":"10.3233\/AIC-150671_ref29","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.artint.2013.10.003","article-title":"Algorithm runtime prediction: Methods & evaluation","volume":"206","author":"Hutter","year":"2014","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-150671_ref30","unstructured":"[30]H.\u00a0Kautz and B.\u00a0Selman, Unifying sat-based and graph-based planning, in: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), IJCAI Organization, 1999, pp.\u00a0318\u2013325."},{"key":"10.3233\/AIC-150671_ref31","unstructured":"[31]H.\u00a0Kautz, B.\u00a0Selman and J.\u00a0Hoffmann, SatPlan: Planning as satisfiability, in: Abstract Booklet of the 5th International Planning Competition, 2006."},{"key":"10.3233\/AIC-150671_ref32","doi-asserted-by":"crossref","unstructured":"[32]M.R.\u00a0Khouadjia, M.\u00a0Schoenauer, V.\u00a0Vidal, J.\u00a0Dr\u00e9o and P.\u00a0Sav\u00e9ant, Multi-objective AI planning: Evaluating DaEYAHSP on a tunable benchmark, in: Proceedings of the 7th International Conference on Evolutionary Multi-Criterion Optimization (EMO), 2013, pp.\u00a036\u201350.","DOI":"10.1007\/978-3-642-37140-0_7"},{"issue":"1","key":"10.3233\/AIC-150671_ref33","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","article-title":"Macro-operators: A weak method for learning","volume":"26","author":"Korf","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-150671_ref34","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.artint.2015.01.004","article-title":"The deterministic part of the seventh International Planning Competition","volume":"223","author":"L\u00f3pez","year":"2015","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-150671_ref35","unstructured":"[35]Y.\u00a0Malitsky, D.\u00a0Mehta and B.\u00a0O\u2019Sullivan, Evolving instance specific algorithm configuration, in: Proceedings of the Sixth Annual Symposium on Combinatorial Search (SOCS), 2013, pp.\u00a0132\u2013140."},{"key":"10.3233\/AIC-150671_ref36","unstructured":"[36]P.J.\u00a0Matos, J.\u00a0Planes, F.\u00a0Letombe and J.\u00a0Marques-Silva, A\u00a0MAX-SAT algorithm portfolio, in: ECAI 2008\u00a0\u2013 The 18th European Conference on Artificial Intelligence, 2008, pp.\u00a0911\u2013912."},{"key":"10.3233\/AIC-150671_ref37","unstructured":"[37]H.\u00a0Nakhost and M.\u00a0M\u00fcller, Monte-Carlo exploration for deterministic planning, in: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), 2009, pp.\u00a01766\u20131771."},{"key":"10.3233\/AIC-150671_ref38","doi-asserted-by":"crossref","unstructured":"[38]C.\u00a0Nell, C.\u00a0Fawcett, H.H.\u00a0Hoos and K.\u00a0Leyton-Brown, HAL: A framework for the automated analysis and design of high-performance algorithms, in: Proceedings of the 5th International Conference on Learning and Intelligent Optimization (LION), Springer, 2011, pp.\u00a0600\u2013615.","DOI":"10.1007\/978-3-642-25566-3_47"},{"key":"10.3233\/AIC-150671_ref39","unstructured":"[39]M.H.\u00a0Newton, J.\u00a0Levine, M.\u00a0Fox and D.\u00a0Long, Learning macro-actions for arbitrary planners and domains, in: Proceedings of the 17th International Conference on Automated Planning & Scheduling (ICAPS), 2007, pp.\u00a0256\u2013263."},{"key":"10.3233\/AIC-150671_ref40","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1613\/jair.4295","article-title":"Distributed heuristic forward search for multi-agent planning","volume":"51","author":"Nissim","year":"2014","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref41","unstructured":"[41]S.\u00a0N\u00fa\u00f1ez, D.\u00a0Borrajo and C.L.\u00a0L\u00f2pez, How good is the performance of the best portfolio in IPC-2011?, in: Proceedings of ICAPS-12 Workshop on International Planning Competition, 2012."},{"key":"10.3233\/AIC-150671_ref42","doi-asserted-by":"crossref","unstructured":"[42]S.\u00a0N\u00fa\u00f1ez, D.\u00a0Borrajo and C.L.\u00a0L\u00f3pez, Performance analysis of planning portfolios, in: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SOCS), 2012, pp.\u00a065\u201371.","DOI":"10.1609\/socs.v3i1.18238"},{"key":"10.3233\/AIC-150671_ref43","doi-asserted-by":"crossref","unstructured":"[43]L.\u00a0Pulina and A.\u00a0Tacchella, A multi-engine solver for quantified Boolean formulas, in: Principles and Practice of Constraint Programming\u00a0\u2013 CP, 2007, pp.\u00a0574\u2013589.","DOI":"10.1007\/978-3-540-74970-7_41"},{"key":"10.3233\/AIC-150671_ref44","doi-asserted-by":"crossref","unstructured":"[44]L.\u00a0Pulina and A.\u00a0Tacchella, A multi-engine solver for quantified Boolean formulas, in: Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP), Springer, 2007, pp.\u00a0574\u2013589.","DOI":"10.1007\/978-3-540-74970-7_41"},{"key":"10.3233\/AIC-150671_ref45","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0065-2458(08)60520-3","article-title":"The algorithm selection problem","volume":"15","author":"Rice","year":"1976","journal-title":"Advances in Computers"},{"key":"10.3233\/AIC-150671_ref47","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1613\/jair.2972","article-title":"The LAMA planner: Guiding cost-based anytime planning with landmarks","volume":"39","author":"Richter","year":"2010","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref48","doi-asserted-by":"crossref","unstructured":"[48]J.\u00a0Rintanen, Engineering efficient planners with SAT, in: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI-12), IOS Press, 2012, pp.\u00a0684\u2013689.","DOI":"10.3233\/978-1-61499-098-7-684"},{"key":"10.3233\/AIC-150671_ref49","unstructured":"[49]M.\u00a0Roberts and A.\u00a0Howe, Directing a portfolio with learning, in: AAAI 2006 Workshop on Learning for Search, 2006, pp.\u00a0129\u2013135."},{"key":"10.3233\/AIC-150671_ref50","unstructured":"[50]M.\u00a0Roberts and A.\u00a0Howe, Learned models of performance for many planners, in: Proceedings of the ICAPS-07 Workshop of AI Planning and Learning (PAL), 2007."},{"issue":"5,6","key":"10.3233\/AIC-150671_ref51","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1016\/j.artint.2008.11.009","article-title":"Learning from planner performance","volume":"173","author":"Roberts","year":"2009","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AIC-150671_ref52","doi-asserted-by":"crossref","unstructured":"[52]J.\u00a0Seipp, M.\u00a0Braun, J.\u00a0Garimort and M.\u00a0Helmert, Learning portfolios of automatically tuned planners, in: Proceedings of the 22nd International Conference on Automated Planning & Scheduling (ICAPS), AAAI Press, 2012, pp.\u00a0369\u2013372.","DOI":"10.1609\/icaps.v22i1.13538"},{"key":"10.3233\/AIC-150671_ref53","doi-asserted-by":"crossref","unstructured":"[53]J.\u00a0Seipp, S.\u00a0Sievers, M.\u00a0Helmert and F.\u00a0Hutter, Automatic configuration of sequential planning portfolios, in: Proceedings of the Twenty-Fourth National Conference on Artificial Intelligence (AAAI), 2015.","DOI":"10.1609\/aaai.v29i1.9640"},{"key":"10.3233\/AIC-150671_ref54","unstructured":"[54]J.\u00a0Seipp, S.\u00a0Sievers and F.\u00a0Hutter, Fast Downward Cedalion, in: The Eighth International Planning Competition. Description of Participant Planners of the Deterministic Track, 2014."},{"key":"10.3233\/AIC-150671_ref55","unstructured":"[55]W.F.\u00a0Sharpe and W.\u00a0Sharpe, Portfolio Theory and Capital Markets, Vol.\u00a0217, McGraw-Hill, New York, 1970."},{"key":"10.3233\/AIC-150671_ref56","doi-asserted-by":"crossref","unstructured":"[56]R.\u00a0Valenzano, H.\u00a0Nakhost, M.\u00a0M\u00fcller, J.\u00a0Schaeffer and N.\u00a0Sturtevant, ArvandHerd: Parallel planning with a portfolio, in: Proceedings of the 20th European Conference on AI (ECAI-12), IOS Press, 2012, pp.\u00a0786\u2013791.","DOI":"10.3233\/978-1-61499-098-7-786"},{"key":"10.3233\/AIC-150671_ref57","unstructured":"[57]R.\u00a0Valenzano, H.\u00a0Nakhost, M.\u00a0M\u00fcller, J.\u00a0Schaeffer and N.\u00a0Sturtevant, ArvandHerd 2014, in: The Eighth International Planning Competition. Description of Participant Planners of the Deterministic Track, 2014."},{"key":"10.3233\/AIC-150671_ref58","doi-asserted-by":"crossref","unstructured":"[58]M.\u00a0Vallati, L.\u00a0Chrpa and D.E.\u00a0Kitchin, An automatic algorithm selection approach for planning, in: IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI), 2013, pp.\u00a01\u20138.","DOI":"10.1109\/ICTAI.2013.12"},{"key":"10.3233\/AIC-150671_ref59","unstructured":"[59]M.\u00a0Vallati, C.\u00a0Fawcett, A.\u00a0Gerevini, H.\u00a0Hoos and A.\u00a0Saetti, Automatic generation of efficient domain-specific planners from generic parametrized planners, in: Proceedings of the Sixth Annual Symposium on Combinatorial Search (SOCS), 2013."},{"key":"10.3233\/AIC-150671_ref60","unstructured":"[60]T.\u00a0Vaquero, J.R.\u00a0Silva and J.C.\u00a0Beck, Analyzing plans and planners in itSIMPLE3.1, in: Proceedings of the Knowledge Engineering for Planning and Scheduling Workshop. The 20th International Conference on Automated Planning & Scheduling (ICAPS), 2010."},{"key":"10.3233\/AIC-150671_ref61","unstructured":"[61]T.\u00a0Vaquero, R.\u00a0Tonaco, G.\u00a0Costa, F.\u00a0Tonidandel, J.R.\u00a0Silva and J.C.\u00a0Beck, itSIMPLE4.0: Enhancing the modeling experience of planning problems, in: Proceedings of the 22nd International Conference on Automated Planning & Scheduling (ICAPS-12)\u00a0\u2013 System Demonstration, 2012, pp.\u00a011\u201314."},{"key":"10.3233\/AIC-150671_ref62","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","article-title":"SATzilla: Portfolio-based algorithm selection for SAT","volume":"32","author":"Xu","year":"2008","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-150671_ref63","doi-asserted-by":"crossref","unstructured":"[63]L.\u00a0Xu, F.\u00a0Hutter, H.\u00a0Hoos and K.\u00a0Leyton-Brown, Evaluating component solver contributions to portfolio-based algorithm selectors, in: Theory and Applications of Satisfiability Testing\u00a0\u2013 SAT, 2012, pp.\u00a0228\u2013241.","DOI":"10.1007\/978-3-642-31612-8_18"}],"container-title":["AI Communications"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIC-150671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T18:27:18Z","timestamp":1777400838000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/AIC-150671"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,18]]},"references-count":62,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/aic-150671","relation":{},"ISSN":["1875-8452","0921-7126"],"issn-type":[{"value":"1875-8452","type":"electronic"},{"value":"0921-7126","type":"print"}],"subject":[],"published":{"date-parts":[[2015,9,18]]}}}