{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:03:17Z","timestamp":1755993797153,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","funder":[{"name":"FWF","award":["10.55776\/COE12"],"award-info":[{"award-number":["10.55776\/COE12"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,12]]},"DOI":"10.1145\/3732771.3742723","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T11:04:43Z","timestamp":1750158283000},"page":"189-198","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["(Semantic) Feature Model Differences with (Q)SAT"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7630-2791","authenticated-orcid":false,"given":"Simone","family":"Heisinger","sequence":"first","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7297-6000","authenticated-orcid":false,"given":"Maximilian","family":"Heisinger","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3267-4494","authenticated-orcid":false,"given":"Martina","family":"Seidl","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}]}],"member":"320","published-online":{"date-parts":[[2025,6,17]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1944892.1944903"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-642-31095-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of SAT Competition 2024 - Solver, Benchmark and Proof Checker Descriptions (Department of Computer Science Report Series B). Marijn Heule, Markus Iser, Matti J\u00e4rvisalo, and Martin Suda, (Eds.)","volume":"1","author":"Biere Armin","year":"2024","unstructured":"Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, and Florian Pollitt. 2024. CaDiCaL, Gimsatul, IsaSAT and Kissat entering the SAT Competition 2024. In Proc. of SAT Competition 2024 - Solver, Benchmark and Proof Checker Descriptions (Department of Computer Science Report Series B). Marijn Heule, Markus Iser, Matti J\u00e4rvisalo, and Martin Suda, (Eds.) Vol. B-2024-1. University of Helsinki, 8--10."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.3233\/FAIA336"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/s10515-015-0185-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/978-3-031-63498-"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/3634713.3634718"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.5281\/zenodo.15271848"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/3461001.3474452"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/SPLINE.2007.36"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-3-031-43943-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/ICSE.2009.5070568"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/3634713.3634733"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/2791060.2791070"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-319-63046-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_18_1","volume-title":"13th Int. Conf., SPLC 2009, San Francisco, California, USA, August 24-28, Proceedings (ACM Int. Conf. Proceeding Series). Dirk Muthig and John D. McGregor, (Eds.)","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 Software Product Lines, 13th Int. Conf., SPLC 2009, San Francisco, California, USA, August 24-28, Proceedings (ACM Int. Conf. Proceeding Series). Dirk Muthig and John D. McGregor, (Eds.) Vol. 446. ACM, 231--240."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1016\/S0747-"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.jss.2024.112150"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-031-16681-5"},{"doi-asserted-by":"publisher","unstructured":"Chico Sundermann. 2024. Automotive (automotive02). (July 2024). doi: 10.5281\/zenodo.12697292.","key":"e_1_3_2_1_22_1","DOI":"10.5281\/zenodo.12697292"},{"doi-asserted-by":"publisher","unstructured":"Chico Sundermann. 2024. Automotive01. (July 2024). doi: 10.5281\/zenodo.12697304.","key":"e_1_3_2_1_23_1","DOI":"10.5281\/zenodo.12697304"},{"doi-asserted-by":"publisher","unstructured":"Chico Sundermann. 2024. Cdl. (July 2024). doi: 10.5281\/zenodo.12697319.","key":"e_1_3_2_1_24_1","DOI":"10.5281\/zenodo.12697319"},{"doi-asserted-by":"publisher","unstructured":"Chico Sundermann. 2024. Kconfig. (July 2024). doi: 10.5281\/zenodo.12697397.","key":"e_1_3_2_1_25_1","DOI":"10.5281\/zenodo.12697397"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5281\/zenodo.12697381"},{"doi-asserted-by":"publisher","unstructured":"Chico Sundermann Kevin Feichtinger Dominik Engelhardt Rick Rabiser and Thomas Th\u00fcm. 2024. Financialservices01. (July 2024). doi: 10.5281\/zenodo.12689351.","key":"e_1_3_2_1_27_1","DOI":"10.5281\/zenodo.12689351"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/3461001.3471145"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1145\/3579028.3609013"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/3579028.3609013"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1109\/ICSE.2009.5070526"},{"doi-asserted-by":"crossref","unstructured":"Grigori S Tseitin. 1983. On the complexity of derivation in propositional calculus. Automation of reasoning: 2: Classical papers on computational logic 1967-1970 466--483.","key":"e_1_3_2_1_32_1","DOI":"10.1007\/978-3-642-81955-1_28"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SLE '25","name":"SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering","location":"Koblenz Germany"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3732771.3742723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:19:18Z","timestamp":1755915558000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3732771.3742723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,12]]},"references-count":32,"alternative-id":["10.1145\/3732771.3742723","10.1145\/3732771"],"URL":"https:\/\/doi.org\/10.1145\/3732771.3742723","relation":{},"subject":[],"published":{"date-parts":[[2025,6,12]]},"assertion":[{"value":"2025-06-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}