Article can be found here:
https://dl.acm.org/doi/10.1145/3680465
Authors:
- Chico Sundermann
- Heiko Raab
- Tobias Heß
- Thomas Thüm
- Ina Schaefer
Reusing d-DNNFs for Efficient Feature-Model Counting accepted at TOSEM Journal
Universität Ulm Universität Ulm
Our work "Reusing d-DNNFs for Efficient Feature-Model Counting" by Chico Sundermann, Heiko Raab, Tobias Hess, Thomas Thüm and Ina Schaefer has been accepted at the ACM Transactions on Software Engineering and Methodology (TOSEM) journal.