Skip to content Skip to footer

Research Portal of the TU Dresden

Selected Benchmarks for CNF-to-BDD Compilation

Dataset: Other datasets

Persons and affiliations

Clemens Dubslaff - , Eindhoven University of Technology (Creator)
Nils Husung - , Saarland University (Creator)
Nikolai Käfer - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
Joshua Wirtz - , University of Bonn (Creator)

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

View all research output (1)

dimagic

Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024

DOI: https://doi.org/10.5281/zenodo.12707100

Dataset: Code

View all research data (1)

Research Portal of the TU Dresden

Persons and affiliations

Related content