From Decision Models To User-Guiding Configurators Using SMT.

Maximilian Heisinger Florian Piminger Martina Seidl

Published in: VaMoS (2024)

Keyphrases

decision models
decision theoretic
decision model

model construction
learning algorithm
constraint satisfaction

influence diagrams
cooperative

multi objective
knowledge representation