{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T21:32:48Z","timestamp":1774474368024,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministerio de Ciencia e Innovaci\u00f3n","award":["PID2021-122812OB-I00"],"award-info":[{"award-number":["PID2021-122812OB-I00"]}]},{"name":"European Union","award":["H2020-101017109"],"award-info":[{"award-number":["H2020-101017109"]}]},{"name":"Junta de Andaluc\u00eda","award":["UMA18-FEDERJA-157"],"award-info":[{"award-number":["UMA18-FEDERJA-157"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579027.3608981","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T19:31:27Z","timestamp":1692991887000},"page":"99-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Elimination of constraints for parallel analysis of feature models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7771-0575","authenticated-orcid":false,"given":"Jose-Miguel","family":"Horcas","sequence":"first","affiliation":[{"name":"CAOSD, ITIS Software, University of M\u00e1laga"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3053-2414","authenticated-orcid":false,"given":"Joaquin","family":"Ballesteros","sequence":"additional","affiliation":[{"name":"CAOSD, ITIS Software, University of M\u00e1laga"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5376-742X","authenticated-orcid":false,"given":"M\u00f3nica","family":"Pinto","sequence":"additional","affiliation":[{"name":"CAOSD, ITIS Software, University of M\u00e1laga"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5677-7156","authenticated-orcid":false,"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[{"name":"CAOSD, ITIS Software, University of M\u00e1laga"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3342362"},{"key":"e_1_3_2_1_2_1","volume-title":"Feature-Oriented Software Product Lines - Concepts and Implementation","author":"Apel Sven","unstructured":"Sven Apel , Don S. Batory , Christian K\u00e4stner , and Gunter Saake . 2013. Feature-Oriented Software Product Lines - Concepts and Implementation . Springer . https:\/\/doi.org\/10.1007\/978-3-642-37521-7 10.1007\/978-3-642-37521-7 Sven Apel, Don S. Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer. https:\/\/doi.org\/10.1007\/978-3-642-37521-7"},{"key":"e_1_3_2_1_3_1","article-title":"On the Glucose SAT","volume":"27","author":"Audemard Gilles","year":"2018","unstructured":"Gilles Audemard and Laurent Simon . 2018 . On the Glucose SAT Solver. Int. J. Artif. Intell. Tools 27 , 1 (2018). https:\/\/doi.org\/10.1142\/S0218213018400018 10.1142\/S0218213018400018 Gilles Audemard and Laurent Simon. 2018. On the Glucose SAT Solver. Int. J. Artif. Intell. Tools 27, 1 (2018). https:\/\/doi.org\/10.1142\/S0218213018400018","journal-title":"Solver. Int. J. Artif. Intell. Tools"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307630.3342391"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/GCWkshps56602.2022.10008662"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"e_1_3_2_1_10_1","volume-title":"Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Lines Conference (SPLC). IEEE","author":"Czarnecki Krzysztof","year":"2007","unstructured":"Krzysztof Czarnecki and Andrzej Wasowski . 2007 . Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Lines Conference (SPLC). IEEE , Kyoto, Japan, 23--34. https:\/\/doi.org\/10.1109\/SPLINE. 2007.24 10.1109\/SPLINE.2007.24 Krzysztof Czarnecki and Andrzej Wasowski. 2007. Feature Diagrams and Logics: There and Back Again. In 11th International Software Product Lines Conference (SPLC). IEEE, Kyoto, Japan, 23--34. https:\/\/doi.org\/10.1109\/SPLINE.2007.24"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622810.1622817"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2331073"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934478"},{"key":"e_1_3_2_1_14_1","volume-title":"24th ACM International Systems and Software Product Line Conference (SPLC)","volume":"55","author":"Jos\u00e9","year":"2026","unstructured":"Jos\u00e9 A. Galindo and David Benavides. 2020. A Python framework for the automated analysis of feature models: A first step to integrate community efforts . In 24th ACM International Systems and Software Product Line Conference (SPLC) , Vol. B. Montreal, Canada, 52-- 55 . https:\/\/doi.org\/10.1145\/338 2026 .3425773 10.1145\/3382026.3425773 Jos\u00e9 A. Galindo and David Benavides. 2020. A Python framework for the automated analysis of feature models: A first step to integrate community efforts. In 24th ACM International Systems and Software Product Line Conference (SPLC), Vol. B. Montreal, Canada, 52--55. https:\/\/doi.org\/10.1145\/3382026.3425773"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336306"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_19"},{"key":"e_1_3_2_1_17_1","volume-title":"Network Intelligence for Virtualized RAN Orchestration: The DAEMON Approach. In Joint European Conference on Networks and Communications & 6G Summit (EuCNC\/6G Summit). 482--487","author":"Gramaglia Marco","year":"2022","unstructured":"Marco Gramaglia , Miguel Camelo , Lidia Fuentes , Joaqu\u00edn Ballesteros , Gabriele Baldoni , Luca Cominardi , Andres Garcia-Saavedra , and Marco Fiore . 2022 . Network Intelligence for Virtualized RAN Orchestration: The DAEMON Approach. In Joint European Conference on Networks and Communications & 6G Summit (EuCNC\/6G Summit). 482--487 . https:\/\/doi.org\/10.1109\/EuCNC\/6GSummit54941.2022.9815816 10.1109\/EuCNC Marco Gramaglia, Miguel Camelo, Lidia Fuentes, Joaqu\u00edn Ballesteros, Gabriele Baldoni, Luca Cominardi, Andres Garcia-Saavedra, and Marco Fiore. 2022. Network Intelligence for Virtualized RAN Orchestration: The DAEMON Approach. In Joint European Conference on Networks and Communications & 6G Summit (EuCNC\/6G Summit). 482--487. https:\/\/doi.org\/10.1109\/EuCNC\/6GSummit54941.2022.9815816"},{"key":"e_1_3_2_1_18_1","volume-title":"29th IEEE\/ACM International Conference on Automated Software Engineering (ASE). ACM","author":"Guo Jianmei","unstructured":"Jianmei Guo , Edward Zulkoski , Rafael Olaechea , Derek Rayside , Krzysztof Czarnecki , Sven Apel , and Joanne M. Atlee . 2014. Scaling exact multi-objective combinatorial optimization by parallelization . In 29th IEEE\/ACM International Conference on Automated Software Engineering (ASE). ACM , Vasteras, Sweden, 409--420. https:\/\/doi.org\/10.1145\/2642937.2642971 10.1145\/2642937.2642971 Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, and Joanne M. Atlee. 2014. Scaling exact multi-objective combinatorial optimization by parallelization. In 29th IEEE\/ACM International Conference on Automated Software Engineering (ASE). ACM, Vasteras, Sweden, 409--420. https:\/\/doi.org\/10.1145\/2642937.2642971"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552411"},{"key":"e_1_3_2_1_21_1","volume-title":"Batory","author":"Heradio Ruben","year":"2022","unstructured":"Ruben Heradio , David Fern\u00e1ndez-Amor\u00f3s , Jos\u00e9 A. Galindo , David Benavides , and Don S . Batory . 2022 . Uniform and scalable sampling of highly configurable systems. Emp. Soft. Eng . 27, 2 (2022). https:\/\/doi.org\/10.1007\/s10664-021-10102-5 10.1007\/s10664-021-10102-5 Ruben Heradio, David Fern\u00e1ndez-Amor\u00f3s, Jos\u00e9 A. Galindo, David Benavides, and Don S. Batory. 2022. Uniform and scalable sampling of highly configurable systems. Emp. Soft. Eng. 27, 2 (2022). https:\/\/doi.org\/10.1007\/s10664-021-10102-5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00091"},{"key":"e_1_3_2_1_23_1","first-page":"3","volume-title":"Tools and Techniques (SoMeT) (Frontiers in Artificial Intelligence and Applications","volume":"154","author":"Heradio Ruben","year":"2016","unstructured":"Ruben Heradio , Hector Perez-Morago , David Fern\u00e1ndez-Amor\u00f3s , Roberto Bean , Francisco Javier Cabrerizo , Carlos Cerrada , and Enrique Herrera-Viedma . 2016 . Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models. In 15th New Trends in Software Methodologies , Tools and Techniques (SoMeT) (Frontiers in Artificial Intelligence and Applications , Vol. 286). Larnaca, Cyprus, 139-- 154 . https:\/\/doi.org\/10.3233\/978-1-61499-674- 3 - 139 10.3233\/978-1-61499-674-3-139 Ruben Heradio, Hector Perez-Morago, David Fern\u00e1ndez-Amor\u00f3s, Roberto Bean, Francisco Javier Cabrerizo, Carlos Cerrada, and Enrique Herrera-Viedma. 2016. Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models. In 15th New Trends in Software Methodologies, Tools and Techniques (SoMeT) (Frontiers in Artificial Intelligence and Applications, Vol. 286). Larnaca, Cyprus, 139--154. https:\/\/doi.org\/10.3233\/978-1-61499-674-3-139"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3474452"},{"key":"e_1_3_2_1_25_1","unstructured":"Jos\u00e9 Miguel Horcas. 2018. WeaFQAs: A Software Product Line Approach for Customizing and Weaving Efficient Functional Quality Attributes. phdthesis. Universidad de M\u00e1laga. https:\/\/hdl.handle.net\/10630\/17231  Jos\u00e9 Miguel Horcas. 2018. WeaFQAs: A Software Product Line Approach for Customizing and Weaving Efficient Functional Quality Attributes. phdthesis. Universidad de M\u00e1laga. https:\/\/hdl.handle.net\/10630\/17231"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3546993"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01011-2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111579"},{"key":"e_1_3_2_1_29_1","volume-title":"PySAT: A Python Toolkit for Prototyping with SAT Oracles. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) (LNCS","volume":"437","author":"Ignatiev Alexey","year":"2018","unstructured":"Alexey Ignatiev , Ant\u00f3nio Morgado , and Jo\u00e3o Marques-Silva . 2018 . PySAT: A Python Toolkit for Prototyping with SAT Oracles. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) (LNCS , Vol. 10929). Springer, Oxford, UK, 428-- 437 . https:\/\/doi.org\/10.1007\/978-3-319-94144-8_26 10.1007\/978-3-319-94144-8_26 Alexey Ignatiev, Ant\u00f3nio Morgado, and Jo\u00e3o Marques-Silva. 2018. PySAT: A Python Toolkit for Prototyping with SAT Oracles. In 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) (LNCS, Vol. 10929). Springer, Oxford, UK, 428--437. https:\/\/doi.org\/10.1007\/978-3-319-94144-8_26"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_32_1","unstructured":"Alexander Kn\u00fcppel. 2016. The Role of Complex Constraints in Feature Modeling. Master's Thesis. Technische Universit\u00e4t Braunschweig. https:\/\/www.isf.cs.tubs.de\/cms\/team\/knueppel\/downloads\/thesisKnueppel16.pdf  Alexander Kn\u00fcppel. 2016. The Role of Complex Constraints in Feature Modeling. Master's Thesis. Technische Universit\u00e4t Braunschweig. https:\/\/www.isf.cs.tubs.de\/cms\/team\/knueppel\/downloads\/thesisKnueppel16.pdf"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993248"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414989"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"e_1_3_2_1_36_1","volume-title":"3rd International Conference on Generative and Component-Based Software Engineering (GCSE) (LNCS","volume":"24","author":"Roberto","unstructured":"Roberto E. Lopez-Herrejon and Don S. Batory. 2001. A Standard Problem for Evaluating Product-Line Methodologies . In 3rd International Conference on Generative and Component-Based Software Engineering (GCSE) (LNCS , Vol. 2186). Springer, Erfurt, Germany, 10-- 24 . https:\/\/doi.org\/10.1007\/3-540-44800-4_2 10.1007\/3-540-44800-4_2 Roberto E. Lopez-Herrejon and Don S. Batory. 2001. A Standard Problem for Evaluating Product-Line Methodologies. In 3rd International Conference on Generative and Component-Based Software Engineering (GCSE) (LNCS, Vol. 2186). Springer, Erfurt, Germany, 10--24. https:\/\/doi.org\/10.1007\/3-540-44800-4_2"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598305"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233038"},{"key":"e_1_3_2_1_39_1","volume-title":"Efficient Reasoning Techniques for Large Scale Feature Models. Ph. D. Dissertation","author":"Mendon\u00e7a Marc\u00edlio","unstructured":"Marc\u00edlio Mendon\u00e7a . 2009. Efficient Reasoning Techniques for Large Scale Feature Models. Ph. D. Dissertation . University of Waterloo . https:\/\/hdl.handle.net\/10012\/4201 Marc\u00edlio Mendon\u00e7a. 2009. Efficient Reasoning Techniques for Large Scale Feature Models. Ph. D. Dissertation. University of Waterloo. https:\/\/hdl.handle.net\/10012\/4201"},{"key":"e_1_3_2_1_40_1","volume-title":"13th International Software Product Lines Conference (SPLC)","volume":"446","author":"Mendon\u00e7a Marc\u00edlio","year":"2009","unstructured":"Marc\u00edlio Mendon\u00e7a , Andrzej Wasowski , and Krzysztof Czarnecki . 2009 . SAT-based analysis of feature models is easy . In 13th International Software Product Lines Conference (SPLC) , Vol. 446 . ACM, San Francisco, California, USA, 231--240. https:\/\/dl.acm.org\/citation.cfm?id=1753267 Marc\u00edlio Mendon\u00e7a, Andrzej Wasowski, and Krzysztof Czarnecki. 2009. SAT-based analysis of feature models is easy. In 13th International Software Product Lines Conference (SPLC), Vol. 446. ACM, San Francisco, California, USA, 231--240. https:\/\/dl.acm.org\/citation.cfm?id=1753267"},{"key":"e_1_3_2_1_41_1","volume-title":"7th International Conference on Generative Programming and Component Engineering (GPCE). ACM, 13--22","author":"Mendon\u00e7a Marc\u00edlio","unstructured":"Marc\u00edlio Mendon\u00e7a , Andrzej Wasowski , Krzysztof Czarnecki , and Donald D. Cowan . 2008. Efficient compilation techniques for large scale feature models . In 7th International Conference on Generative Programming and Component Engineering (GPCE). ACM, 13--22 . https:\/\/doi.org\/10.1145\/1449913.1449918 10.1145\/1449913.1449918 Marc\u00edlio Mendon\u00e7a, Andrzej Wasowski, Krzysztof Czarnecki, and Donald D. Cowan. 2008. Efficient compilation techniques for large scale feature models. In 7th International Conference on Generative Programming and Component Engineering (GPCE). ACM, 13--22. https:\/\/doi.org\/10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_42_1","volume-title":"23rd International Systems and Software Product Line Conference (SPLC)","volume":"4","author":"Oh Jeho","unstructured":"Jeho Oh , Paul Gazzillo , and Don S. Batory . 2019. t-wise coverage by uniform sampling . In 23rd International Systems and Software Product Line Conference (SPLC) , Vol. A. ACM, 15:1--15: 4 . https:\/\/doi.org\/10.1145\/3336294.3342359 10.1145\/3336294.3342359 Jeho Oh, Paul Gazzillo, and Don S. Batory. 2019. t-wise coverage by uniform sampling. In 23rd International Systems and Software Product Line Conference (SPLC), Vol. A. ACM, 15:1--15:4. https:\/\/doi.org\/10.1145\/3336294.3342359"},{"key":"e_1_3_2_1_43_1","volume-title":"Stability of Product-Line Samplingin Continuous Integration. In 15th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS). 18:1-18:9. https:\/\/doi.org\/10","author":"Pett Tobias","year":"2021","unstructured":"Tobias Pett , Sebastian Krieter , Tobias Runge , Thomas Th\u00fcm , Malte Lochau , and Ina Schaefer . 2021 . Stability of Product-Line Samplingin Continuous Integration. In 15th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS). 18:1-18:9. https:\/\/doi.org\/10 .1145\/3442391.3442410 10.1145\/3442391.3442410 Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Th\u00fcm, Malte Lochau, and Ina Schaefer. 2021. Stability of Product-Line Samplingin Continuous Integration. In 15th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS). 18:1-18:9. https:\/\/doi.org\/10.1145\/3442391.3442410"},{"key":"e_1_3_2_1_44_1","volume-title":"Visualization and Formal Analysis of Product Lines. In 25th International Conference on Transdisciplinary Engineering","volume":"7","author":"Schmitt Anna","year":"2018","unstructured":"Anna Schmitt , Georg Rock , and Christian Bettinger . 2018 . Glencoe - A Tool for Specification , Visualization and Formal Analysis of Product Lines. In 25th International Conference on Transdisciplinary Engineering , Vol. 7 . Modena, Italy, 665--673. https:\/\/doi.org\/10.3233\/978-1-61499-898-3-66 10.3233\/978-1-61499-898-3-66 Anna Schmitt, Georg Rock, and Christian Bettinger. 2018. Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines. In 25th International Conference on Transdisciplinary Engineering, Vol. 7. Modena, Italy, 665--673. https:\/\/doi.org\/10.3233\/978-1-61499-898-3-66"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"e_1_3_2_1_46_1","volume-title":"The Variability Model of The Linux Kernel. In 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) (ICB-Research Report","volume":"51","author":"She Steven","year":"2010","unstructured":"Steven She , Rafael Lotufo , Thorsten Berger , Andrzej Wasowski , and Krzysztof Czarnecki . 2010 . The Variability Model of The Linux Kernel. In 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) (ICB-Research Report , Vol. 37). Universit\u00e4t Duisburg-Essen, Linz, Austria, 45-- 51 . http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. 2010. The Variability Model of The Linux Kernel. In 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) (ICB-Research Report, Vol. 37). Universit\u00e4t Duisburg-Essen, Linz, Austria, 45--51. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194019500219"},{"key":"e_1_3_2_1_48_1","volume-title":"A parallel portfolio approach to configuration optimization for large software product lines. Softw. Pract. Exp. 48, 9","author":"Shi Kai","year":"2018","unstructured":"Kai Shi , Huiqun Yu , Jianmei Guo , Guisheng Fan , and Xingguang Yang . 2018. A parallel portfolio approach to configuration optimization for large software product lines. Softw. Pract. Exp. 48, 9 ( 2018 ). https:\/\/doi.org\/10.1002\/spe.2594 10.1002\/spe.2594 Kai Shi, Huiqun Yu, Jianmei Guo, Guisheng Fan, and Xingguang Yang. 2018. A parallel portfolio approach to configuration optimization for large software product lines. Softw. Pract. Exp. 48, 9 (2018). https:\/\/doi.org\/10.1002\/spe.2594"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3471145"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3546932.3547024"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10265-9"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442404"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414943"},{"key":"e_1_3_2_1_55_1","volume-title":"A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm , Sven Apel , Christian K\u00e4stner , Ina Schaefer , and Gunter Saake . 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 ( 2014 ), 6:1--6:45. https:\/\/doi.org\/10.1145\/2580950 10.1145\/2580950 Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 (2014), 6:1--6:45. https:\/\/doi.org\/10.1145\/2580950"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_57_1","volume-title":"23rd International Configuration Workshop (ConfWS)","volume":"2945","author":"Tieber Robert","year":"2021","unstructured":"Robert Tieber and Alexander Felfernig . 2021 . A Knowledge-based Configurator for Building Magic: The Gathering Card Decks . In 23rd International Configuration Workshop (ConfWS) , Vol. 2945 . CEUR-WS.org, Vienna, Austria, 55--57. https:\/\/ceur-ws.org\/Vol-2945\/42-RT-ConfWS21_paper_3.pdf Robert Tieber and Alexander Felfernig. 2021. A Knowledge-based Configurator for Building Magic: The Gathering Card Decks. In 23rd International Configuration Workshop (ConfWS), Vol. 2945. CEUR-WS.org, Vienna, Austria, 55--57. https:\/\/ceur-ws.org\/Vol-2945\/42-RT-ConfWS21_paper_3.pdf"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15975-4_26"},{"key":"e_1_3_2_1_59_1","volume-title":"3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS)","volume":"29","author":"van den Broek Pim","year":"2009","unstructured":"Pim van den Broek and Ism\u00eania Galv\u00e3o . 2009 . Analysis of Feature Models using Generalised Feature Trees . In 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) , Vol. 29 . 29--35. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf Pim van den Broek and Ism\u00eania Galv\u00e3o. 2009. Analysis of Feature Models using Generalised Feature Trees. In 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Vol. 29. 29--35. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf"},{"key":"e_1_3_2_1_60_1","volume-title":"Workshop on Analyses of Software Product Lines (ASPL) @ SPLC'08","volume":"232","author":"van den Broek Pim","year":"2008","unstructured":"Pim van den Broek , Ism\u00eania Galv\u00e3o , and Joost Noppen . 2008 . Elimination of Constraints from Feature Trees . In Workshop on Analyses of Software Product Lines (ASPL) @ SPLC'08 , Vol. Second (Workshops). Limerick, Ireland, 227-- 232 . Pim van den Broek, Ism\u00eania Galv\u00e3o, and Joost Noppen. 2008. Elimination of Constraints from Feature Trees. In Workshop on Analyses of Software Product Lines (ASPL) @ SPLC'08, Vol. Second (Workshops). Limerick, Ireland, 227--232."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-021-00675-4"}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608981","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579027.3608981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:04Z","timestamp":1750178284000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579027.3608981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":60,"alternative-id":["10.1145\/3579027.3608981","10.1145\/3579027"],"URL":"https:\/\/doi.org\/10.1145\/3579027.3608981","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}