{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T22:59:46Z","timestamp":1773097186661,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Compagnia di San Paolo"},{"name":"Sirius Center for Scalable Data Access"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380372","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:34Z","timestamp":1601576734000},"page":"1509-1521","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Lazy product discovery in huge configuration spaces"],"prefix":"10.1145","author":[{"given":"Michael","family":"Lienhardt","sequence":"first","affiliation":[{"name":"ONERA - The French Aerospace Lab, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[{"name":"University of Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[{"name":"University of Southern Denmark, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2010)","volume":"37","author":"Abele Andreas","year":"2010","unstructured":"Andreas Abele, Yiannis Papadopoulos, David Servat, Martin T\u00f6rngren, and Matthias Weber. 2010. The CVM Framework - A Prototype Tool for Compositional Variability Management. In Proc. 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2010) (ICB-Research Report), Vol. 37. Universit\u00e4t Duisburg-Essen, 101--105. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0364-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100089"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_22"},{"key":"e_1_3_2_1_7_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."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. 1st International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2007)","volume":"01","author":"Benavides David","year":"2007","unstructured":"David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. 2007. FAMA: Tooling a framework for the automated analysis of feature models. In Proc. 1st International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2007) (Lero Technical Report), Vol. 2007-01. 129--134."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE","author":"Benavides David","year":"2005","unstructured":"David Benavides, Pablo Trinidad, and Antonio Ruiz Cort\u00e9s. 2005. Using Constraint Programming to Reason on Feature Models. In Proc. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005). 677--682. http:\/\/ksiresearchorg.ipage.com\/seke\/Proceedings\/seke\/SEKE2005_Proceedings.pdf"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. Models in Software Engineering - Workshops and Symposia at MODELS","author":"Bo\u0161kovi\u0107 Marko","year":"2010","unstructured":"Marko Bo\u0161kovi\u0107, Gunter Mussbacher, Ebrahim Bagheri, Daniel Amyot, Dragan Ga\u0161evi\u0107, and Marek Hatala. 2010. Aspect-Oriented Feature Models. In Proc. Models in Software Engineering - Workshops and Symposia at MODELS 2010, J\u00fcrgen Dingel and Arnor Solberg (Eds.). Springer, 110--124."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2009)","volume":"29","author":"Botterweck Goetz","year":"2009","unstructured":"Goetz Botterweck, Mikol\u00e1s Janota, and Denny Schneeweiss. 2009. A Design of a Configurable Feature Model Configurator. In Proc. 3rd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2009) (ICB Research Report), Vol. 29. Universit\u00e4t Duisburg-Essen, 165--168. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2009_Proceedings.pdf"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025149"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.02.018"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491652"},{"key":"e_1_3_2_1_22_1","volume-title":"Package Manager Specification","author":"Foundation Gentoo","year":"2019","unstructured":"Gentoo Foundation. 2017. Package Manager Specification. Gentoo Foundation. https:\/\/dev.gentoo.org\/~ulm\/pms\/head\/pms.html Last visited, 2019-08-20."},{"key":"e_1_3_2_1_23_1","volume-title":"https:\/\/gentoo.org Last visited","author":"Foundation Gentoo","year":"2019","unstructured":"Gentoo Foundation. 2019. Gentoo Linux. Gentoo Foundation. https:\/\/gentoo.org Last visited, 2019-08-20."},{"key":"e_1_3_2_1_24_1","volume-title":"Portage - Gentoo Wiki","author":"Foundation Gentoo","year":"2019","unstructured":"Gentoo Foundation. 2019. Portage - Gentoo Wiki. Gentoo Foundation. https:\/\/wiki.gentoo.org\/wiki\/Portage Last visited, 2019-08-20."},{"key":"e_1_3_2_1_25_1","volume-title":"random --- Generate pseudo-random numbers","author":"Foundation Python Software","year":"2019","unstructured":"Python Software Foundation. 2019. random --- Generate pseudo-random numbers. Python Software Foundation. https:\/\/docs.python.org\/3\/library\/random.html Last visited, 2019-08-20."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-018-0646-1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.69"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897760"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.002"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14192-8_12"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. 12th International Software Product Line Conference (SPLC 2008) Workshops. Lero Int. Science Centre","author":"Janota Mikol\u00e1s","year":"2008","unstructured":"Mikol\u00e1s Janota. 2008. Do SAT Solvers Make Good Configurators?. In Proc. 12th International Software Product Line Conference (SPLC 2008) Workshops. Lero Int. Science Centre, University of Limerick, Ireland, 191--195."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=11231","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2307\/2267778"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180159"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2006.1691581"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236405.3236409"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3170425"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_10"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.19"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866620"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.05.002"},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) (CEUR Workshop Proceedings)","volume":"855","author":"Mazo Ra\u00fal","year":"2012","unstructured":"Ra\u00fal Mazo, Camille Salinesi, and Daniel Diaz. 2012. VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. In Proc. CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012) (CEUR Workshop Proceedings), Vol. 855. CEUR-WS.org, 147--154."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 13th International Software Product Line Conference (ACM International Conference Proceeding Series), Dirk Muthig and John D. McGregor (Eds.)","volume":"446","author":"Mendon\u00e7a Marc\u00edlio","year":"2009","unstructured":"Marc\u00edlio Mendon\u00e7a, Andrzej W\u0105sowski, and Krzysztof Czarnecki. 2009. SAT-based Analysis of Feature Models is Easy. In Proceedings of the 13th International Software Product Line Conference (ACM International Conference Proceeding Series), Dirk Muthig and John D. McGregor (Eds.), Vol. 446. ACM Press, 231--240."},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. 10th International Workshop on Satisfiability Modulo Theories (SMT 2012)","volume":"20","author":"Michel Rapha\u00ebl","year":"2012","unstructured":"Rapha\u00ebl Michel, Arnaud Hubaux, Vijay Ganesh, and Patrick Heymans. 2012. An SMT-based approach to automated configuration. In Proc. 10th International Workshop on Satisfiability Modulo Theories (SMT 2012) (EPiC Series in Computing), Vol. 20. EasyChair, 109--119."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023959"},{"key":"e_1_3_2_1_47_1","volume-title":"Proc. 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2010)","volume":"37","author":"Rosenm\u00fcller Marko","year":"2010","unstructured":"Marko Rosenm\u00fcller and Norbert Siegmund. 2010. Automating the Configuration of Multi Software Product Lines. In Proc. 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2010) (ICB-Research Report), Vol. 37. Universit\u00e4t Duisburg-Essen, 123--130."},{"key":"e_1_3_2_1_48_1","volume-title":"Proc. Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE). Department of Informatics and Mathematics","author":"Rosenm\u00fcller Marko","year":"2008","unstructured":"Marko Rosenm\u00fcller, Norbert Siegmund, Christian K\u00e4stner, and Syed Saif Ur Rahman. 2008. Modeling Dependent Software Product Lines. In Proc. Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE). Department of Informatics and Mathematics, University of Passau, 13--18."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944894"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_17"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884823"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430515"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094095"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_57_1","unstructured":"Thomas Th\u00fcm. 2018. . TU Braunschweig. https:\/\/github.com\/FeatureIDE\/FeatureIDE\/issues\/836"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2016.07.040"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380372","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380372"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":60,"alternative-id":["10.1145\/3377811.3380372","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380372","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}