{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T11:03:20Z","timestamp":1756811000400,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,7]],"date-time":"2024-02-07T00:00:00Z","timestamp":1707264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bundesministerium f\u00fcr Wirtschaft und Klimaschutz","award":["19S21002"],"award-info":[{"award-number":["19S21002"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,7]]},"DOI":"10.1145\/3634713.3634728","type":"proceedings-article","created":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T18:06:19Z","timestamp":1706033179000},"page":"103-111","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Handling Automotive Hardware\/Software Co-Configurations with Integer Difference Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9670-8856","authenticated-orcid":false,"given":"Florian","family":"Jost","sequence":"first","affiliation":[{"name":"Mercedes-Benz AG, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9718-1802","authenticated-orcid":false,"given":"Carsten","family":"Sinz","sequence":"additional","affiliation":[{"name":"Karlsruhe University of Applied Sciences, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,2,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054837"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5316017"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.02.018"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11527695_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2010.19"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-25182-5_1"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, C.\u00a0R","author":"de Moura Leonardo","key":"e_1_3_2_1_7_1","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C.\u00a0R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337\u2013340."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","unstructured":"Christoph Fehling Markus Frank and Oliver Kopp. 2021. Digital Sustainability and Digital Diversification: The Two Key Challenges for Automotive Software Development. In 2021 IEEE 18th International Conference on Software Architecture Companion (ICSA-C). 162\u2013166. https:\/\/doi.org\/10.1109\/ICSA-C52384.2021.00039","DOI":"10.1109\/ICSA-C52384.2021.00039"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3233\/sat190029"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/a:1006370506164"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.29.5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.49"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9127-8"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings eighth national conference on artificial intelligence. 25\u201332","author":"Mittal Sanjay","year":"1990","unstructured":"Sanjay Mittal and Brian Falkenhainer. 1990. Dynamic constraint satisfaction. In Proceedings eighth national conference on artificial intelligence. 25\u201332."},{"key":"e_1_3_2_1_16_1","unstructured":"Sanjay Mittal and Felix Frayman. 1989. Towards a Generic Model of Configuraton Tasks.. In IJCAI Vol.\u00a089. Citeseer 1395\u20131401."},{"key":"e_1_3_2_1_17_1","unstructured":"Lev\u00a0Nachmanson Nikolaj\u00a0Bj\u00f8rner Leonardo de\u00a0Moura and Christoph Wintersteiger. [n. d.]. Programming Z3. https:\/\/theory.stanford.edu\/\u00a0nikolaj\/programmingz3.html. Accessed: 2023-10-26."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00124"},{"key":"e_1_3_2_1_19_1","unstructured":"Tom Preston-Werner. 2023. Semantic Versioning 2.0.0. https:\/\/semver.org\/spec\/v2.0.0.html. Accessed: 2023-10-25."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99429-7_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","unstructured":"D. Sabin and R. Weigel. 1998. Product configuration frameworks-a survey. IEEE Intelligent Systems and their Applications 13 4 (1998) 42\u201349. https:\/\/doi.org\/10.1109\/5254.708432","DOI":"10.1109\/5254.708432"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-11815-0"},{"key":"e_1_3_2_1_23_1","unstructured":"Carsten Sinz. 1997. Baubarkeitspr\u00fcfung von Kraftfahrzeugen durch automatisches Beweisen. Diplomarbeit. Universit\u00e4t T\u00fcbingen."},{"key":"e_1_3_2_1_24_1","unstructured":"SPI. 2023. Debian. https:\/\/www.debian.org\/index.en.html. Accessed: 2023-10-26."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58610-6"},{"key":"e_1_3_2_1_26_1","volume-title":"ECU Variant Coding System. Mitsubishi Motors Technical Review18","author":"Takimizu Hiroki","year":"2006","unstructured":"Hiroki Takimizu, Toshiki FUKAYA, Yoshiaki ITO, and Nobuhiko SAKANO. 2006. ECU Variant Coding System. Mitsubishi Motors Technical Review18 (2006)."}],"event":{"name":"VaMoS 2024: 18th International Working Conference on Variability Modelling of Software-Intensive Systems","acronym":"VaMoS 2024","location":"Bern Switzerland"},"container-title":["Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3634713.3634728","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3634713.3634728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T01:43:30Z","timestamp":1755913410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3634713.3634728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,7]]},"references-count":26,"alternative-id":["10.1145\/3634713.3634728","10.1145\/3634713"],"URL":"https:\/\/doi.org\/10.1145\/3634713.3634728","relation":{},"subject":[],"published":{"date-parts":[[2024,2,7]]},"assertion":[{"value":"2024-02-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}