{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T22:21:09Z","timestamp":1776982869581,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,16]],"date-time":"2016-09-16T00:00:00Z","timestamp":1473984000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,16]]},"DOI":"10.1145\/2934466.2934478","type":"proceedings-article","created":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T19:17:32Z","timestamp":1475176652000},"page":"74-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Exploiting the enumeration of all feature model configurations"],"prefix":"10.1145","author":[{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"first","affiliation":[{"name":"Inria, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[{"name":"University of Rennes 1 and Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Manuel","family":"Tirado","sequence":"additional","affiliation":[{"name":"Cambridge Computer Lab"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Vidal","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de, Chile, Talca, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[{"name":"Inria, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel S.","year":"2013","unstructured":"S. Apel , D. Batory , C. K\u00e4stner , and G. Saake . Feature-Oriented Software Product Lines: Concepts and Implementation . Springer-Verlag , 2013 . S. Apel, D. Batory, C. K\u00e4stner, and G. Saake. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer-Verlag, 2013."},{"key":"e_1_3_2_1_3_1","volume-title":"Empirical Software Engineering","author":"B\u00e9can G.","year":"2015","unstructured":"G. B\u00e9can , M. Acher , B. Baudry , and S. Ben Nasr . Breathing ontological knowledge into feature model synthesis: an empirical study . Empirical Software Engineering , 2015 . G. B\u00e9can, M. Acher, B. Baudry, and S. Ben Nasr. Breathing ontological knowledge into feature model synthesis: an empirical study. Empirical Software Engineering, 2015."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_5_1","volume-title":"June 20","author":"Bryant R.","year":"2000","unstructured":"R. Bryant , R. Hoffman , and S. Kahn . World wide web end user response time monitor , June 20 2000 . US Patent 6,078,956. R. Bryant, R. Hoffman, and S. Kahn. World wide web end user response time monitor, June 20 2000. US Patent 6,078,956."},{"key":"e_1_3_2_1_6_1","first-page":"229","volume":"17","author":"Darwiche A.","year":"2002","unstructured":"A. Darwiche and P. Marquis . A knowledge compilation map. J. Artif. Intell. Res. (JAIR) , 17 : 229 -- 264 , 2002 . A. Darwiche and P. Marquis. A knowledge compilation map. J. Artif. Intell. Res. (JAIR), 17:229--264, 2002.","journal-title":"A knowledge compilation map. J. Artif. Intell. Res. (JAIR)"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060411000011"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_20"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642971"},{"key":"e_1_3_2_1_10_1","first-page":"131","volume-title":"DTU-TRYK","author":"Hadzic T.","year":"2004","unstructured":"T. Hadzic , S. Subbarayan , R. M. Jensen , H. R. Andersen , J. M\u00f8ller , and H. Hulgaard . Fast backtrack-free product configuration using a precompiled solution space representation. In IN: PETO CONFERENCE , DTU-TRYK , pages 131 -- 138 , 2004 . T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. M\u00f8ller, and H. Hulgaard. Fast backtrack-free product configuration using a precompiled solution space representation. In IN: PETO CONFERENCE, DTU-TRYK, pages 131--138, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.123"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2014.7051971"},{"key":"e_1_3_2_1_14_1","volume-title":"12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second","volume":"195","author":"Janota M.","year":"2008","unstructured":"M. Janota . Do SAT solvers make good configurators? In Software Product Lines , 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops), pages 191-- 195 , 2008 . M. Janota. Do SAT solvers make good configurators? In Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings. Second Volume (Workshops), pages 191--195, 2008."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/978-3-540-24605-3_21","volume-title":"Theory and Applications of Satisfiability Testing","author":"Khurshid S.","year":"2004","unstructured":"S. Khurshid , D. Marinov , I. Shlyakhter , and D. Jackson . A case for efficient solution enumeration . In E. Giunchiglia and A. Tacchella, editors, Theory and Applications of Satisfiability Testing , volume 2919 of Lecture Notes in Computer Science , pages 272 -- 286 . Springer Berlin Heidelberg , 2004 . S. Khurshid, D. Marinov, I. Shlyakhter, and D. Jackson. A case for efficient solution enumeration. In E. Giunchiglia and A. Tacchella, editors, Theory and Applications of Satisfiability Testing, volume 2919 of Lecture Notes in Computer Science, pages 272--286. Springer Berlin Heidelberg, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791070"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598305"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.10.037"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1860967.1860972"},{"key":"e_1_3_2_1_22_1","first-page":"231","volume-title":"SPLC'09","author":"Mendonca M.","year":"2009","unstructured":"M. Mendonca , A. Wasowski , and K. Czarnecki . SAT-based analysis of feature models is easy . In SPLC'09 , pages 231 -- 240 . IEEE, 2009 . M. Mendonca, A. Wasowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In SPLC'09, pages 231--240. IEEE, 2009."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_24_1","first-page":"6","volume-title":"Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on","author":"Morgado A.","unstructured":"A. Morgado and J. Marques-Silva . Good learning and implicit model enumeration . In Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on , pages 6 --pp. IEEE, 2005. A. Morgado and J. Marques-Silva. Good learning and implicit model enumeration. In Tools with Artificial Intelligence, 2005. ICTAI 05. 17th IEEE International Conference on, pages 6--pp. IEEE, 2005."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693103"},{"key":"e_1_3_2_1_26_1","volume-title":"Nov. 1","author":"Raz U.","year":"2001","unstructured":"U. Raz , Y. Volk , and S. Melamed . Method and system for decreasing the user-perceived system response time in web-based systems , Nov. 1 2001 . US Patent App . 09\/747,260. U. Raz, Y. Volk, and S. Melamed. Method and system for decreasing the user-perceived system response time in web-based systems, Nov. 1 2001. US Patent App. 09\/747,260."},{"key":"e_1_3_2_1_27_1","volume-title":"Efficient synthesis of feature models. Information and Software Technology, 56(9)","author":"She S.","year":"2014","unstructured":"S. She , U. Ryssel , N. Andersen , A. Wasowski , and K. Czarnecki . Efficient synthesis of feature models. Information and Software Technology, 56(9) , 2014 . S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki. Efficient synthesis of feature models. Information and Software Technology, 56(9), 2014."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.22"}],"event":{"name":"SPLC '16: The 20th International Systems and Software Product Line Conference","location":"Beijing China","acronym":"SPLC '16","sponsor":["Huawei Technologies Co. Ltd. Huawei Technologies Co. Ltd.","Key Laboratory of High Confidence Software Technologies Key Laboratory of High Confidence Software Technologies, Ministry of Education","DC Holdings Digital China Holdings Limited"]},"container-title":["Proceedings of the 20th International Systems and Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2934466.2934478","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2934466.2934478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:54Z","timestamp":1750222494000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2934466.2934478"}},"subtitle":["a new perspective with distributed computing"],"short-title":[],"issued":{"date-parts":[[2016,9,16]]},"references-count":30,"alternative-id":["10.1145\/2934466.2934478","10.1145\/2934466"],"URL":"https:\/\/doi.org\/10.1145\/2934466.2934478","relation":{},"subject":[],"published":{"date-parts":[[2016,9,16]]},"assertion":[{"value":"2016-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}