Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer. SMT-based variability analyses in FeatureIDE. In Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake, editors, VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020. ACM, 2020. [doi]
Abstract is missing.