dimagic
Dataset: Code
Persons and affiliations
- Nikolai Käfer - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Nils Husung - , Saarland University (Creator)
- Clemens Dubslaff - , Eindhoven University of Technology (Creator)
Related content
- Research output
Configuring BDD Compilation Techniques for Feature Models
Dubslaff, C., Husung, N. & Käfer, N., 2 Sept 2024, SPLC 2024 - 28th ACM International Systems and Software Product Line Conference, Proceedings. Cordy, M., Struber, D., Struber, D., Pinto, M., Groher, I., Dhungana, D., Kruger, J., Alves Pereira, J., Acher, M., Thum, T., Thum, T., ter Beek, M. H., Galasso-Carbonnel, J., Arcaini, P., Mousavi, M. R., Ternava, X., Galindo, J. A., Yue, T., Fuentes, L. & Horcas, J. M. (eds.). Association for Computing Machinery (ACM), Vol. A. p. 209-216 8 p.Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review