{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T17:36:49Z","timestamp":1769276209323,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":47,"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:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"name":"DFG TRR 248","award":["project ID 389792660"],"award-info":[{"award-number":["project ID 389792660"]}]},{"name":"NWO Veni","award":["VI.Veni.222.431"],"award-info":[{"award-number":["VI.Veni.222.431"]}]},{"name":"DFG EXC 2050\/1","award":["project ID 390696704"],"award-info":[{"award-number":["project ID 390696704"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,2]]},"DOI":"10.1145\/3646548.3676538","type":"proceedings-article","created":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T12:19:07Z","timestamp":1723205947000},"page":"209-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Configuring BDD Compilation Techniques for Feature Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"first","affiliation":[{"name":"Mathematics and Computer Science, Eindhoven University of Technology, Germany and Centre for Tactile Internet with Human-in-the-Loop (CeTI), Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4375-3753","authenticated-orcid":false,"given":"Nils","family":"Husung","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0645-1078","authenticated-orcid":false,"given":"Nikolai","family":"K\u00e4fer","sequence":"additional","affiliation":[{"name":"Dresden University of Technology, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Fadi Aloul. 2003. MINCE. http:\/\/www.aloul.net\/Tools\/mince\/"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/764808.764839"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3217\/jucs-010-12-1562"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"Thorsten Berger Steven She Rafael Lotufo Andrzej W\u0105sowski and Krzysztof Czarnecki. 2010. Variability modeling in the real: a perspective from the operating systems domain. In ASE (Antwerp Belgium). ACM 73\u201382. https:\/\/doi.org\/10.1145\/1858996.1859010","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"Armin Biere Marijn Heule Hans van Maaren and Toby Walsh (Eds.). 2021. Handbook of Satisfiability - Second Edition. Frontiers in Artificial Intelligence and Applications Vol.\u00a0336. IOS Press. https:\/\/doi.org\/10.3233\/FAIA336","DOI":"10.3233\/FAIA336"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1216075.1216081"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"A.E. Caldwell A.B. Kahng and I.L. Markov. 2000. Can recursive bisection alone produce routable placements?. In DAC. 477\u2013482. https:\/\/doi.org\/10.1145\/337292.337549","DOI":"10.1145\/337292.337549"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"S. Darras G. Dequen L. Devendeville B. Mazure R. Ostrowski and L. Sa\u00efs. 2005. Using Boolean Constraint Propagation for Sub-clauses Deduction. In Principles and Practice of Constraint Programming - CP 2005 Peter van Beek (Ed.). Springer Berlin Heidelberg 757\u2013761.","DOI":"10.1007\/11564751_59"},{"key":"e_1_3_2_1_15_1","volume-title":"AAAI (Edmonton, Alberta, Canada)","author":"Darwiche Adnan","unstructured":"Adnan Darwiche. 2002. A compiler for deterministic, decomposable negation normal form. In AAAI (Edmonton, Alberta, Canada). AAAI Press, USA, 627\u2013634. https:\/\/dl.acm.org\/doi\/10.5555\/777092.777189"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1613\/JAIR.989"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SAT.2023.7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Clemens Dubslaff and Joshua Wirtz. 2024. Compiling Binary Decision Diagrams with Interrupt-based Downsizing. Technical Report. Eindhoven University of Technology.","DOI":"10.1007\/978-3-031-75778-5_12"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3390\/math8081253"},{"key":"e_1_3_2_1_20_1","volume-title":"A Linear-Time Heuristic for Improving Network Partitions. DAC","author":"Fiduccia M.","year":"1982","unstructured":"Charles\u00a0M. Fiduccia and Robert\u00a0M. Mattheyses. 1982. A Linear-Time Heuristic for Improving Network Partitions. DAC (1982), 175\u2013181. https:\/\/dl.acm.org\/doi\/10.5555\/800263.809204"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08860-1_17"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503229.3547032"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3634713.3634716"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3474452"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11527695_13"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57256-2_13"},{"key":"e_1_3_2_1_27_1","unstructured":"Jawahar Jain Arnit Narayan Claudionor Coelho Sunil\u00a0P. Khatri Alberto Sangiovanni-Vincentelli Robert\u00a0K. Brayton and Masahiro Fujita. 1995. Combining Top-down and Bottom-up approaches for ROBDD. Technical Report. USA."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Nikolai K\u00e4fer Nils Husung and Clemens Dubslaff. 2024. dimagic. https:\/\/doi.org\/10.5281\/zenodo.12707100","DOI":"10.5281\/zenodo.12707100"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Kyo\u00a0C. Kang Sholom\u00a0G. Cohen James\u00a0A. Hess William\u00a0E. Novak and A.\u00a0Spencer Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report. Carnegie-Mellon University Software Engineering Institute.","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106252"},{"key":"e_1_3_2_1_31_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_32_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CP.2021.8"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1609\/AAAI.V28I1.9116"},{"key":"e_1_3_2_1_34_1","unstructured":"J\u00f8rn Lind-Nielsen. 2004. BuDDy: A binary decision diagram package version 2.4. https:\/\/buddy.sourceforge.net\/manual\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1038\/22055"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-58603-891-5-525"},{"key":"e_1_3_2_1_38_1","volume-title":"Construction of Decision Diagrams for Product Configuration. In ConfWS(CEUR Workshop Proceedings, Vol.\u00a03509)","author":"Popov Maxim","year":"2023","unstructured":"Maxim Popov, Tom\u00e1s Balyo, Markus Iser, and Tobias Ostertag. 2023. Construction of Decision Diagrams for Product Configuration. In ConfWS(CEUR Workshop Proceedings, Vol.\u00a03509), Jos\u00e9\u00a0Miguel Horcas, Jos\u00e9\u00a0Angel Galindo, Richard Comploi-Taupe, and Lidia Fuentes (Eds.). CEUR-WS.org, 108\u2013117. https:\/\/ceur-ws.org\/Vol-3509\/paper15.pdf"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","unstructured":"Khushboo Qayyum Alireza Mahzoon and Rolf Drechsler. 2022. Monitoring the Effects of Static Variable Orders on the Construction of BDDs. In MESIICON. 1\u20136. https:\/\/doi.org\/10.1109\/MESIICON55227.2022.10093493","DOI":"10.1109\/MESIICON55227.2022.10093493"},{"key":"e_1_3_2_1_40_1","volume-title":"A survey of static variable ordering heuristics for efficient BDD\/MDD construction","author":"Rice Michael","year":"2008","unstructured":"Michael Rice and Sanjay Kulhari. 2008. A survey of static variable ordering heuristics for efficient BDD\/MDD construction. University of California, Tech. Rep (2008), 130."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","unstructured":"R. Rudell. 1993. Dynamic variable ordering for ordered binary decision diagrams. In ICCAD. 42\u201347. https:\/\/doi.org\/10.1109\/ICCAD.1993.580029","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"e_1_3_2_1_42_1","volume-title":"CUDD: CU Decision Diagram Package. Technical Report","author":"Somenzi Fabio","year":"2015","unstructured":"Fabio Somenzi. 2015. CUDD: CU Decision Diagram Package. Technical Report. University of Colorado at Boulder."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-023-09906-6"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382025.3414943"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0433-2"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563212"}],"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.3676538","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3646548.3676538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:56:22Z","timestamp":1755881782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3676538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,2]]},"references-count":47,"alternative-id":["10.1145\/3646548.3676538","10.1145\/3646548"],"URL":"https:\/\/doi.org\/10.1145\/3646548.3676538","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"}}]}}