Cited By
View all- Sundermann CRaab HHeß TThüm TSchaefer I(2024)Reusing d-DNNFs for Efficient Feature-Model CountingACM Transactions on Software Engineering and Methodology10.1145/368046533:8(1-32)Online publication date: 30-Jul-2024
- Sundermann CKuiter EHeß TRaab HKrieter SThüm T(2023)On the benefits of knowledge compilation for feature-model analysesAnnals of Mathematics and Artificial Intelligence10.1007/s10472-023-09906-692:5(1013-1050)Online publication date: 6-Nov-2023
- Sundermann CNieke MBittner PHeß TThüm TSchaefer I(2021)Applications of #SAT Solvers on Feature ModelsProceedings of the 15th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3442391.3442404(1-10)Online publication date: 9-Feb-2021
- Show More Cited By