{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T11:47:46Z","timestamp":1773661666676,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T00:00:00Z","timestamp":1702684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T00:00:00Z","timestamp":1702684800000},"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":["Soft Comput"],"published-print":{"date-parts":[[2026,3]]},"DOI":"10.1007\/s00500-023-09484-z","type":"journal-article","created":{"date-parts":[[2023,12,16]],"date-time":"2023-12-16T05:02:10Z","timestamp":1702702930000},"page":"1853-1861","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A SAT encoding for the portfolio selection problem"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7044-6014","authenticated-orcid":false,"given":"Giacomo di","family":"Tollo","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Lardeux","sequence":"additional","affiliation":[]},{"given":"Raffaele","family":"Pesenti","sequence":"additional","affiliation":[]},{"given":"Matteo","family":"Petris","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,12,16]]},"reference":[{"key":"9484_CR1","doi-asserted-by":"publisher","DOI":"10.3390\/jrfm15070293","author":"S Ammirato","year":"2022","unstructured":"Ammirato S, Fattoruso G, Violi A (2022) Parsimonious AHP-DEA integrated approach for efficiency evaluation of production processes. J Risk Financ Manag. https:\/\/doi.org\/10.3390\/jrfm15070293","journal-title":"J Risk Financ Manag"},{"issue":"3","key":"9484_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1111\/1467-9965.00068","volume":"9","author":"P Artzner","year":"1999","unstructured":"Artzner P, Delbaen F, Eber J-M, Heath D (1999) Coherent measures of risk. Math Finance 9(3):203\u2013228. https:\/\/doi.org\/10.1111\/1467-9965.00068","journal-title":"Math Finance"},{"key":"9484_CR3","doi-asserted-by":"publisher","unstructured":"Audemard G, Simon L (2009) Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of the 21st international joint conference on artificial intelligence. IJCAI\u201909. Morgan Kaufmann Publishers Inc., San Francisco, CA, pp 399\u2013404. https:\/\/doi.org\/10.5555\/1661445.1661509","DOI":"10.5555\/1661445.1661509"},{"issue":"1","key":"9484_CR4","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/bf01580440","volume":"8","author":"E Balas","year":"1975","unstructured":"Balas E (1975) Facets of the knapsack polytope. Math Program 8(1):146\u2013164. https:\/\/doi.org\/10.1007\/bf01580440","journal-title":"Math Program"},{"key":"9484_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02592208","volume":"74","author":"D Bienstock","year":"1996","unstructured":"Bienstock D (1996) Computational study of a family of mixed-integer quadratic programming problems. Math Program 74:121\u2013140. https:\/\/doi.org\/10.1007\/BF02592208","journal-title":"Math Program"},{"issue":"1","key":"9484_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10479-021-04075-3","volume":"304","author":"M Corazza","year":"2021","unstructured":"Corazza M, di Tollo G, Fasano G, Pesenti R (2021) A novel hybrid PSO-based metaheuristic for costly portfolio selection problems. Ann Oper Res 304(1):109\u2013137. https:\/\/doi.org\/10.1007\/s10479-021-04075-3","journal-title":"Ann Oper Res"},{"key":"9484_CR7","doi-asserted-by":"publisher","first-page":"1473","DOI":"10.1080\/14697680903460168","volume":"11","author":"L Di Gaspero","year":"2011","unstructured":"Di Gaspero L, di Tollo G, Roli A, Schaerf A (2011) Hybrid metaheuristics for constrained portfolio selection problem. Quant Finance 11:1473\u20131488. https:\/\/doi.org\/10.1080\/14697680903460168","journal-title":"Quant Finance"},{"key":"9484_CR8","first-page":"222","volume":"6","author":"G di Tollo","year":"2014","unstructured":"di Tollo G, St\u00fctzle T, Birattari M (2014) A metaheuristic multi-criteria optimisation approach to portfolio selection. J Appl Oper Res 6:222\u2013242","journal-title":"J Appl Oper Res"},{"key":"9484_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/j.asoc.2015.06.016","volume":"35","author":"G di Tollo","year":"2015","unstructured":"di Tollo G, Lardeux F, Maturana J, Saubion F (2015) An experimental study of adaptive control for evolutionary algorithms. Appl Soft Comput 35:359\u2013372. https:\/\/doi.org\/10.1016\/j.asoc.2015.06.016","journal-title":"Appl Soft Comput"},{"key":"9484_CR10","doi-asserted-by":"publisher","unstructured":"Eiben G, Schut MC (2008) In: Siarry P, Michalewicz Z (eds) New ways to calibrate evolutionary algorithms. Springer, Berlin, pp 153\u2013177. https:\/\/doi.org\/10.1007\/978-3-540-72960-0_8","DOI":"10.1007\/978-3-540-72960-0_8"},{"issue":"2","key":"9484_CR11","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1109\/4235.771166","volume":"3","author":"AE Eiben","year":"1999","unstructured":"Eiben AE, Hinterding R, Michalewicz Z (1999) Parameter control in evolutionary algorithms. IEEE Trans Evol Comput 3(2):124\u2013141. https:\/\/doi.org\/10.1109\/4235.771166","journal-title":"IEEE Trans Evol Comput"},{"key":"9484_CR12","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1137\/0205048","volume":"5","author":"S Even","year":"1976","unstructured":"Even S, Itai A, Shamir A (1976) On the complexity of timetable and multicommodity flow problems. SIAM J Comput 5:691\u2013703. https:\/\/doi.org\/10.1137\/0205048","journal-title":"SIAM J Comput"},{"issue":"1","key":"9484_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/01605682.2022.203","volume":"74","author":"G Fattoruso","year":"2023","unstructured":"Fattoruso G, Barbati M, Ishizaka A, Squillante M (2023) A hybrid AHPSort II and multi-objective portfolio selection method to support quality control in the automotive industry. J Oper Res Soc 74(1):209\u2013224. https:\/\/doi.org\/10.1080\/01605682.2022.203","journal-title":"J Oper Res Soc"},{"issue":"1","key":"9484_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10287-023-00441-7","volume":"20","author":"G Filograsso","year":"2023","unstructured":"Filograsso G, di Tollo G (2023) Adaptive evolutionary algorithms for portfolio selection problems. CMS 20(1):7. https:\/\/doi.org\/10.1007\/s10287-023-00441-7","journal-title":"CMS"},{"issue":"2","key":"9484_CR15","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/j.ejor.2015.09.005","volume":"249","author":"J Gao","year":"2016","unstructured":"Gao J, Xiong Y, Li D (2016) Dynamic mean-risk portfolio selection with multiple risk measures in continuous-time. Eur J Oper Res 249(2):647\u2013656. https:\/\/doi.org\/10.1016\/j.ejor.2015.09.005","journal-title":"Eur J Oper Res"},{"key":"9484_CR16","doi-asserted-by":"publisher","unstructured":"Hansen P, Jaumard B, Mathon V (1993) State-of-the-art survey-constrained nonlinear 0\u20131 programming. ORSA J Comput 5(2):97\u2013119. https:\/\/doi.org\/10.1287\/ijoc.5.2.97","DOI":"10.1287\/ijoc.5.2.97"},{"key":"9484_CR17","doi-asserted-by":"publisher","unstructured":"Horbach A (2010) A Boolean satisfiability approach to the resource-constrained project scheduling problem. Ann Oper Res 181(1):89\u2013107. https:\/\/doi.org\/10.1007\/s10479-010-0693-2","DOI":"10.1007\/s10479-010-0693-2"},{"key":"9484_CR18","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1016\/j.econmod.2018.11.012","volume":"80","author":"C Jiang","year":"2019","unstructured":"Jiang C, Du J, An Y (2019) Combining the minimum-variance and equally-weighted portfolios: can portfolio performance be improved? Econ Model 80:260\u2013274. https:\/\/doi.org\/10.1016\/j.econmod.2018.11.012","journal-title":"Econ Model"},{"key":"9484_CR19","doi-asserted-by":"publisher","unstructured":"Karp RM (1972). In: Miller RE, Thatcher JW, Bohlinger JD (eds) Reducibility among combinatorial problems. Springer, Boston, MA, pp 85\u2013103. https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9","DOI":"10.1007\/978-1-4684-2001-2_9"},{"issue":"1","key":"9484_CR20","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/A:1019279918596","volume":"99","author":"H Kellerer","year":"2000","unstructured":"Kellerer H, Mansini R, Speranza MG (2000) Selecting portfolios with fixed costs and minimum transaction lots. Ann Oper Res 99(1):287\u2013304. https:\/\/doi.org\/10.1023\/A:1019279918596","journal-title":"Ann Oper Res"},{"issue":"2","key":"9484_CR21","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0377-2217(98)00252-5","volume":"114","author":"R Mansini","year":"1999","unstructured":"Mansini R, Speranza MG (1999) Heuristic algorithms for the portfolio selection problem with minimum transaction lots. Eur J Oper Res 114(2):219\u2013233. https:\/\/doi.org\/10.1016\/S0377-2217(98)00252-5","journal-title":"Eur J Oper Res"},{"key":"9484_CR22","doi-asserted-by":"publisher","unstructured":"Mansini R, Ogryczak W, Speranza MG (2015) Linear models for portfolio optimization, pp 19\u201345. https:\/\/doi.org\/10.1007\/978-3-319-18482-1_2","DOI":"10.1007\/978-3-319-18482-1_2"},{"issue":"1","key":"9484_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1111\/j.1540-6261.1952.tb01525.x","volume":"7","author":"H Markowitz","year":"1952","unstructured":"Markowitz H (1952) Portfolio selection. J Finance 7(1):77\u201391. https:\/\/doi.org\/10.1111\/j.1540-6261.1952.tb01525.x","journal-title":"J Finance"},{"issue":"6","key":"9484_CR24","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1007\/s10732-010-9125-3","volume":"16","author":"J Maturana","year":"2010","unstructured":"Maturana J, Lardeux F, Saubion F (2010) Autonomous operator management for evolutionary algorithms. J Heurist 16(6):881\u2013909. https:\/\/doi.org\/10.1007\/s10732-010-9125-3","journal-title":"J Heurist"},{"key":"9484_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/B978-075065448-7.50002-1","volume-title":"Advances in portfolio construction and implementation. Quantitative finance","author":"G Mitra","year":"2003","unstructured":"Mitra G, Kyriakis T, Lucas C, Pirbhad M (2003) Chapter 1\u2014a review of portfolio planning: models and systems. In: Satchell S, Scowcroft A (eds) Advances in portfolio construction and implementation. Quantitative finance. Butterworth-Heinemann, Oxford, pp 1\u201339. https:\/\/doi.org\/10.1016\/B978-075065448-7.50002-1"},{"key":"9484_CR26","volume-title":"Evolutionary optimization algorithms. Biologically inspired and population-based approaches to computer intelligence","author":"D Simon","year":"2013","unstructured":"Simon D (2013) Evolutionary optimization algorithms. Biologically inspired and population-based approaches to computer intelligence. Wiley, Hoboken"},{"key":"9484_CR27","doi-asserted-by":"publisher","unstructured":"Streichert F, Ulmer H, Zell A (2004) Comparing discrete and continuous genotypes on the constrained portfolio selection problem 3103:1239\u20131250. https:\/\/doi.org\/10.1007\/978-3-540-24855-2_131","DOI":"10.1007\/978-3-540-24855-2_131"},{"key":"9484_CR28","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.1998.712192","volume-title":"Reinforcement learning\u2014an introduction. Adaptive computation and machine learning","author":"RS Sutton","year":"1998","unstructured":"Sutton RS, Barto AG (1998) Reinforcement learning\u2014an introduction. Adaptive computation and machine learning. MIT Press, Cambridge. https:\/\/doi.org\/10.1109\/TNN.1998.712192"},{"key":"9484_CR29","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/978-3-642-81955-1_28","volume-title":"On the Complexity of Derivation in Propositional Calculus","author":"GS Tseitin","year":"1983","unstructured":"Tseitin GS (1983) On the Complexity of Derivation in Propositional Calculus. Springer, Berlin, pp 466\u2013483. https:\/\/doi.org\/10.1007\/978-3-642-81955-1_28"},{"issue":"2","key":"9484_CR30","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1162\/evco.1998.6.2.161","volume":"6","author":"A Tuson","year":"1998","unstructured":"Tuson A, Ross P (1998) Adapting operator settings in genetic algorithms. Evol Comput 6(2):161\u2013184. https:\/\/doi.org\/10.1162\/evco.1998.6.2.161","journal-title":"Evol Comput"},{"key":"9484_CR31","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0213652","author":"F Vaezi","year":"2019","unstructured":"Vaezi F, Sadjadi S, Makui A (2019) A portfolio selection model based on the knapsack problem under uncertainty. PLOS ONE. https:\/\/doi.org\/10.1371\/journal.pone.0213652","journal-title":"PLOS ONE"},{"issue":"5","key":"9484_CR32","doi-asserted-by":"publisher","first-page":"841","DOI":"10.5829\/ije.2020.33.05b.16","volume":"33","author":"F Vaezi","year":"2020","unstructured":"Vaezi F, Sadjadi SJ, Makui A (2020) A robust knapsack based constrained portfolio optimization. Int J Eng 33(5):841\u2013851. https:\/\/doi.org\/10.5829\/ije.2020.33.05b.16","journal-title":"Int J Eng"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-09484-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-023-09484-z","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-09484-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:47:32Z","timestamp":1773658052000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-023-09484-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,16]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["9484"],"URL":"https:\/\/doi.org\/10.1007\/s00500-023-09484-z","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,16]]},"assertion":[{"value":"7 November 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}