Thomas Thüm. A BDD for Linux?: the knowledge compilation challenge for variability. In Roberto Erick Lopez-Herrejon, editor, SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020. ACM, 2020. [doi]
Abstract is missing.