Article can be found here:
Authors:
- Chico Sundermann
- Heiko Raab
- Tobias He脽
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.