Applications of #SAT Solvers on Feature Models C Sundermann, M Nieke, PM Bittner, T Heß, T Thüm, I Schaefer 15th International Working Conference on Variability Modelling of Software …, 2021 | 5 | 2021 |
Integration of UVL in FeatureIDE C Sundermann, T Heß, D Engelhardt, R Arens, J Herschel, K Jedelhauser, ... Proceedings of the 25th ACM International Systems and Software Product Line …, 2021 | 1 | 2021 |
Incremental Construction of Modal Implication Graphs for Evolving Feature Models S Krieter, R Arens, M Nieke, C Sundermann, T Heß, T Thüm, C Seidl Proceedings of the 25th ACM International Systems and Software Product Line …, 2021 | | 2021 |