Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models

Tobias Heß, Sean Niklas Semmler, Chico Sundermann, Jacobo Torán, Thomas Thüm. Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models. In Maxime Cordy, Daniel Strüber 0001, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi 0001, Xhevahire Tërnava, José A. Galindo, Tao Yue 0002, Lidia Fuentes, José-Miguel Horcas, editors, Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. pages 136-147, ACM, 2024. [doi]

Abstract

Abstract is missing.