{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T20:45:53Z","timestamp":1760647553585,"version":"3.37.3"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2022,1,15]],"date-time":"2022-01-15T00:00:00Z","timestamp":1642204800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,15]],"date-time":"2022-01-15T00:00:00Z","timestamp":1642204800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"national natural science foundation of china","doi-asserted-by":"publisher","award":["62076108","61872159","61672261"],"award-info":[{"award-number":["62076108","61872159","61672261"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1007\/s10489-021-02918-x","type":"journal-article","created":{"date-parts":[[2022,1,15]],"date-time":"2022-01-15T00:05:35Z","timestamp":1642205135000},"page":"10650-10673","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Evolutionary many-objective satisfiability solver for configuring software product lines"],"prefix":"10.1007","volume":"52","author":[{"given":"Yimou","family":"Hou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinliang","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8263-4194","authenticated-orcid":false,"given":"Liming","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,15]]},"reference":[{"key":"2918_CR1","doi-asserted-by":"crossref","unstructured":"Guo J, Shi K (2018) To preserve or not to preserve invalid solutions in search-based software engineering: a case study in software product lines. In: Proceedings of the 40th international conference on software engineering, ICSE \u201918, pp 1027\u20131038","DOI":"10.1145\/3180155.3180163"},{"issue":"2","key":"2918_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/2897760","volume":"25","author":"RM Hierons","year":"2016","unstructured":"Hierons RM, Li M, Liu X, Segura S, Zheng W (2016) SIP: Optimal product selection from feature models using many-objective evolutionary optimization. ACM Trans Softw Eng Methodol 25(2):39. Article 17. https:\/\/doi.org\/10.1145\/2897760","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"2918_CR3","doi-asserted-by":"publisher","unstructured":"Guo J, Liang HJ, Shi K, Yang D, Zhang J, Czarnecki K, Ganesh V, Yu H (2017) SMTIBEA: A Hybrid Multi-Objective Optimization Algorithm for Confifiguring Large Constrained Software Product Lines. Software and System Modeling. https:\/\/doi.org\/10.1007\/s10270-017-0610-0","DOI":"10.1007\/s10270-017-0610-0"},{"key":"2918_CR4","doi-asserted-by":"crossref","unstructured":"Shi K (2017) Combining evolutionary algorithms with constraint solving for confifiguration optimization. In: Proceedings of the IEEE international conference on software maintenance and evolution (ICSME), pp 665\u2013669","DOI":"10.1109\/ICSME.2017.32"},{"key":"2918_CR5","doi-asserted-by":"crossref","unstructured":"Herbawi W, Weber M (2011) Comparison of multiobjective evolutionary algorithms for solving the multiobjective route planning in dynamic multi-hop ridesharing. Evolutionary Computation IEEE","DOI":"10.1109\/CEC.2011.5949874"},{"key":"2918_CR6","unstructured":"White J, Doughtery B, Schmidt DC (2008) Filtered Cartesian flattening: An approximation technique for optimally selecting features while adhering to resource constraints. In: Proceedings of the 12th international software product lines conference\u2013 vol 2 (SPLC\u201908), pp 209\u2013216"},{"issue":"12","key":"2918_CR7","doi-asserted-by":"publisher","first-page":"2208","DOI":"10.1016\/j.jss.2011.06.026","volume":"84","author":"J Guo","year":"2011","unstructured":"Guo J, White J, Wang G, Li J, Wang Y (2011) A genetic algorithm for optimized feature selection with resource constraints in software product lines. J Syst Softw 84(12):2208\u20132221","journal-title":"J Syst Softw"},{"key":"2918_CR8","doi-asserted-by":"publisher","unstructured":"M\u00fcller J (2011) Value-based portfolio optimization for software product lines. In: Proceedings of the 2011 15th international software product line conference, pp 15\u201324. https:\/\/doi.org\/10.1109\/SPLC.2011.18","DOI":"10.1109\/SPLC.2011.18"},{"key":"2918_CR9","doi-asserted-by":"crossref","unstructured":"Zitzler E, Kunzli S (2004) Indicator-based selection in multiobjective search. In: Proceedings 8th international conference on parallel problem solving from nature, PPSN VIII. Springer, pp 832\u2013842","DOI":"10.1007\/978-3-540-30217-9_84"},{"key":"2918_CR10","doi-asserted-by":"publisher","unstructured":"Sayyad AS, Ingram J, Menzies T, Ammar H (2013) Scalable product line configuration: A straw to break the camel\u2019s back. In: Proceedings of the 2013 28th IEEE\/ACM international conference on automated software engineering (ASE\u201913), pp 465\u2013474. https:\/\/doi.org\/10.1109\/ASE.2013.6693104","DOI":"10.1109\/ASE.2013.6693104"},{"key":"2918_CR11","doi-asserted-by":"crossref","unstructured":"Olaechea R, Rayside D, Guo J, Czarnecki K (2014) Comparison of exact and approximate multi-objective optimization for software product lines. In: Proceedings of the international software product line conference, pp 92\u2013101","DOI":"10.1145\/2648511.2648521"},{"key":"2918_CR12","volume-title":"The Guided Improvement Algorithm for Exact, GeneralPurpose, Many-Objective Combinatorial Optimization. Technical Report MIT-CSAIL-TR-2009-033","author":"D Rayside","year":"2009","unstructured":"Rayside D, Christian Estler H, Jackson D (2009) The Guided Improvement Algorithm for Exact, GeneralPurpose, Many-Objective Combinatorial Optimization. Technical Report MIT-CSAIL-TR-2009-033. Massachusetts Institute of Technology, Cambridge"},{"key":"2918_CR13","doi-asserted-by":"publisher","unstructured":"Henard C, Papadakis M, Harman M, Traon YL (2015) Combining multi-objective search and constraint solving for confifiguring large software product lines. In: The 37th international conference on software engineering, vol 1, pp 517\u2013528. https:\/\/doi.org\/10.1109\/ICSE.2015.69","DOI":"10.1109\/ICSE.2015.69"},{"issue":"4","key":"2918_CR14","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/3176644","volume":"26","author":"Y Xiang","year":"2018","unstructured":"Xiang Y, Zhou Y, Zheng Z, Li M (2018) Confifiguring software product lines by combining many objective optimization and SAT solvers. ACM Trans Softw Eng Methodol 26(4):14:1\u201314:46. https:\/\/doi.org\/10.1145\/3176644","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"1","key":"2918_CR15","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1109\/TEVC.2016.2587808","volume":"21","author":"Y Xiang","year":"2017","unstructured":"Xiang Y, Zhou Y, Li M, Chen Z (2017) A vector angle based evolutionary algorithm for unconstrained many-objective problems. IEEE Trans Evol Comput 21(1):131\u2013152. https:\/\/doi.org\/10.1109\/TEVC.2016.2587808","journal-title":"IEEE Trans Evol Comput"},{"issue":"5","key":"2918_CR16","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"JP Marques-Silva","year":"1999","unstructured":"Marques-Silva JP, Sakallah KA (1999) GRASP: A search algorithm for propositional satisfifiability. IEEE Trans Comput 48(5):506\u2013521","journal-title":"IEEE Trans Comput"},{"key":"2918_CR17","unstructured":"Selman B, Levesque H, Mitchell D (1992) A new method for solving hard satisfifiability problems. In: Proceedings of the Tenth National Conference on Artifificial Intelligence, AAAI\u201992. AAAI Press, pp 440\u2013446"},{"issue":"3","key":"2918_CR18","first-page":"2019","volume":"25","author":"Y Xiang","year":"2019","unstructured":"Xiang Y, Xiaowei Y, Yuren Z et al (2019) Going deeper with optimal software products selection usingmany-objective optimization and satisfiability solvers [J]. Empir Softw Eng 25(3):2019","journal-title":"Empir Softw Eng"},{"issue":"1","key":"2918_CR19","first-page":"15","volume":"3","author":"SUJ Lee","year":"2016","unstructured":"Lee SUJ (2016) Challenges of Multi-Objective optimization in feature model of software product line. Proceedings of the international conference on information, System and Convergence Applications. Soc Converg Integrat Res 3(1):15\u201317","journal-title":"Soc Converg Integrat Res"},{"issue":"6","key":"2918_CR20","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s00607-018-00692-2","volume":"101","author":"A Goli","year":"2019","unstructured":"Goli A, Tirkolaee EB et al (2019) A multi-objective invasive weed optimization algorithm for robust aggregate production planning under uncertain seasonal demand. Computing 101(6):499\u2013529","journal-title":"Computing"},{"key":"2918_CR21","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.ins.2018.03.047","volume":"450","author":"R Wang","year":"2018","unstructured":"Wang R, Lai S, Wu G et al (2018) Multi-clustering via evolutionary multi-objective optimization [J]. Inf Sci 450:128\u2013140","journal-title":"Inf Sci"},{"key":"2918_CR22","unstructured":"Zabih R, Mcallester D (1988) A rearrangement search strategy for determining propositional satisfifiability. In: 155\u2013160"},{"key":"2918_CR23","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.infsof.2017.08.010","volume":"95","author":"T Saber","year":"2018","unstructured":"Saber T, Brevet D, Botterweck G et al (2018) Is seeding a good strategy in multi-objective feature selection when feature models evolve? [J]. Inf Softw Technol 95:266\u2013280","journal-title":"Inf Softw Technol"},{"key":"2918_CR24","doi-asserted-by":"publisher","first-page":"12228","DOI":"10.1109\/ACCESS.2018.2806944","volume":"6","author":"A Abbas","year":"2018","unstructured":"Abbas A, Siddiqui IF, Lee SUJ et al (2018) Multi-objective optimum solutions for IoT-based feature models of software product line [J]. IEEE Access 6:12228\u201312239","journal-title":"IEEE Access"},{"issue":"1","key":"2918_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TEVC.2020.3013290","volume":"25","author":"K Shang","year":"2020","unstructured":"Shang K, Ishibuchi H, He L et al (2020) A survey on the hypervolume indicator in evolutionary multiobjective optimization [J]. IEEE Trans Evol Comput 25(1):1\u201320","journal-title":"IEEE Trans Evol Comput"},{"key":"2918_CR26","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.ins.2020.03.111","volume":"530","author":"Z Zhechen","year":"2020","unstructured":"Zhechen Z et al (2020) An enhanced multi-objective evolutionary optimization algorithm with inverse model. Inform Sci 530:128\u2013147","journal-title":"Inform Sci"},{"issue":"6","key":"2918_CR27","doi-asserted-by":"publisher","first-page":"1510","DOI":"10.1109\/TCYB.2016.2550502","volume":"47","author":"H Wang","year":"2017","unstructured":"Wang H, Jin Y, Yao X (2017) Diversity assessment in many-objective optimization. IEEE Trans Cybern 47(6):1510\u20131522. https:\/\/doi.org\/10.1109\/TCYB.2016.2550502","journal-title":"IEEE Trans Cybern"},{"issue":"6","key":"2918_CR28","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/s00607-018-00693-1","volume":"101","author":"EB Tirkolaee","year":"2019","unstructured":"Tirkolaee EB, Goli A, Hematian M et al (2019) Multi-objective multi-mode resource constrained project scheduling problem using Pareto-based algorithms. Computing 101(6):547\u2013 570","journal-title":"Computing"},{"key":"2918_CR29","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1016\/j.advengsoft.2011.05.014","volume":"42","author":"JJ Durillo","year":"2011","unstructured":"Durillo JJ, Nebro AJ (2011) JMetal: A Java framework for multi-objective optimization. Adv Eng Softw 42:760\u2013771","journal-title":"Adv Eng Softw"},{"issue":"6","key":"2918_CR30","doi-asserted-by":"publisher","first-page":"80","DOI":"10.2307\/3001968","volume":"1","author":"F Wilcoxon","year":"1945","unstructured":"Wilcoxon F (1945) Individual comparisons by ranking methods. Biomet Bull 1(6):80\u201383","journal-title":"Biomet Bull"},{"issue":"6","key":"2918_CR31","doi-asserted-by":"publisher","first-page":"2497","DOI":"10.1109\/TII.2017.2768998","volume":"14","author":"Q Zhang","year":"2017","unstructured":"Zhang Q, Zhou C, Tian YC, Xiong N, Qin Y, Hu B (2017) A fuzzy probability Bayesian network approach for dynamic cybersecurity risk assessment in industrial control systems. IEEE Trans Indust Inform 14(6):2497\u20132506","journal-title":"IEEE Trans Indust Inform"},{"issue":"8","key":"2918_CR32","doi-asserted-by":"publisher","first-page":"4591","DOI":"10.1109\/TII.2019.2893714","volume":"15","author":"B Yi","year":"2019","unstructured":"Yi B, Shen X, Liu H, Zhang Z, Zhang W, Liu S, Xiong N (2019) Deep matrix factorization with implicit feedback embedding for recommendation system. IEEE Trans Indust Inform 15(8):4591\u20134601","journal-title":"IEEE Trans Indust Inform"},{"issue":"7","key":"2918_CR33","doi-asserted-by":"publisher","first-page":"4254","DOI":"10.1109\/TII.2019.2905659","volume":"15","author":"B Lin","year":"2019","unstructured":"Lin B, Zhu F, Zhang J, Chen J, Chen X, Xiong N, Mauri JL (2019) A time-driven data placement strategy for a scientific workflow combining edge computing and cloud computing. IEEE Trans Indust Inform 15(7):4254\u20134265","journal-title":"IEEE Trans Indust Inform"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-021-02918-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10489-021-02918-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-021-02918-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,20]],"date-time":"2022-06-20T07:29:35Z","timestamp":1655710175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10489-021-02918-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,15]]},"references-count":33,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["2918"],"URL":"https:\/\/doi.org\/10.1007\/s10489-021-02918-x","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"type":"print","value":"0924-669X"},{"type":"electronic","value":"1573-7497"}],"subject":[],"published":{"date-parts":[[2022,1,15]]},"assertion":[{"value":"10 October 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}