{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T20:33:23Z","timestamp":1774125203765,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T00:00:00Z","timestamp":1725235200000},"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":[[2024,9,2]]},"DOI":"10.1145\/3646548.3672594","type":"proceedings-article","created":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T12:19:07Z","timestamp":1723205947000},"page":"96-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4244-9319","authenticated-orcid":false,"given":"Andrea","family":"Bombarda","sequence":"first","affiliation":[{"name":"Department of Management, Information and Production Engineering, University of Bergamo, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[{"name":"Department of Management, Information and Production Engineering, University of Bergamo, Italy"}]}],"member":"320","published-online":{"date-parts":[[2024,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Amari and Liudong Xing","author":"V.","year":"2015","unstructured":"Suprasad\u00a0V. Amari and Liudong Xing. 2015. Binary Decision Diagrams and Extensions for System Reliability Analysis. wiley."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/qest.2010.34"},{"key":"e_1_3_2_1_3_1","volume-title":"First International Workshop on Variability Modelling of Software-intensive Systems. 129","author":"Benavides David","unstructured":"David Benavides, Sergio Segura, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. [n. d.]. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In First International Workshop on Variability Modelling of Software-intensive Systems. 129."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579028.3609017"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/icstw60967.2024.00025"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Pierre Bourhis Laurence Duchien J\u00e9r\u00e9mie Dusart Emmanuel Lonca Pierre Marquis and Cl\u00e9ment Quinton. 2023. Reasoning on Feature Models: Compilation-Based vs. Direct Approaches. https:\/\/doi.org\/10.48550\/ARXIV.2302.06867","DOI":"10.48550\/ARXIV.2302.06867"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_7"},{"key":"e_1_3_2_1_8_1","volume-title":"d.]. Official FeatureIDE GitHub Repository. https:\/\/github.com\/FeatureIDE\/FeatureIDE [Online","author":"IDE.","year":"2024","unstructured":"FeatureIDE. [n. d.]. Official FeatureIDE GitHub Repository. https:\/\/github.com\/FeatureIDE\/FeatureIDE [Online; accessed 20-03-2024]."},{"key":"e_1_3_2_1_9_1","unstructured":"Robert Feldt and Ana Magazinius. 2010. Validity Threats in Empirical Software Engineering Research - An Initial Survey. In SEKE."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2014.2331073"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3474452"},{"key":"e_1_3_2_1_12_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 Pittsburgh PA. http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?AssetID=11231","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_14_1","volume-title":"The Art of Computer Programming","author":"Knuth E.","unstructured":"Donald\u00a0E. Knuth. 2009. The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams (12th ed.). Addison-Wesley Professional."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.29.5"},{"key":"e_1_3_2_1_16_1","volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","unstructured":"Jens Meinicke, Thomas Thm, Reimar Schrter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE (1st ed.). Springer Publishing Company, Incorporated.","edition":"1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753267"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442410"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336322"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0292-0_5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100042"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-022-10265-9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-023-09906-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377024.3377025"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414943"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Berik\u00a0I. Tuleuov and Ademi\u00a0B. Ospanova. 2024. GMP (GNU Multiprecision Library). Apress 131\u2013148. https:\/\/doi.org\/10.1007\/978-1-4842-9563-2_12","DOI":"10.1007\/978-1-4842-9563-2_12"}],"event":{"name":"SPLC '24: 28th ACM International Systems and Software Product Line Conference","location":"Dommeldange Luxembourg","acronym":"SPLC '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["28th ACM International Systems and Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3672594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3646548.3672594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:55:33Z","timestamp":1755881733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3672594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,2]]},"references-count":28,"alternative-id":["10.1145\/3646548.3672594","10.1145\/3646548"],"URL":"https:\/\/doi.org\/10.1145\/3646548.3672594","relation":{},"subject":[],"published":{"date-parts":[[2024,9,2]]},"assertion":[{"value":"2024-09-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}