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
- Datasets
Configuring BDD Compilation Techniques for Feature Models
Dubslaff, C., Husung, N. & Käfer, N., 2 Sept 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Cordy, M., Struber, D., Pinto, M., Groher, I., Dhungana, D., Krüger, J., Alves Pereira, J., Acher, M., Thüm, 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
Dimagic 2.0
Husung, N. (Creator), Käfer, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 6 Jun 2025
DOI: https://doi.org/10.5281/zenodo.15583680, https://zenodo.org/records/15583680
Dataset: Code
Selected Benchmarks for CNF-to-BDD Compilation
Dubslaff, C. (Creator), Husung, N. (Creator), Käfer, N. (Creator) & Wirtz, J. (Creator), Zenodo, 19 Oct 2024
DOI: https://doi.org/10.5281/zenodo.13954564, https://zenodo.org/records/13954564
Dataset: Other datasets