From Decision Models To User-Guiding Configurators Using SMT. - Maximilian Heisinger; Florian Piminger; Martina Seidl (VaMoS, 2024)