How Easy is SAT-Based Analysis of a Feature Model?

Elias Kuiter Tobias Heß Chico Sundermann Sebastian Krieter Thomas Thüm Gunter Saake

Published in: VaMoS (2024)

Keyphrases

formal model
computational model
probabilistic model
empirical data
prior knowledge
orders of magnitude
statistical model
experimental data
theoretical framework
neural network model
conceptual model
model checking
mathematical model
face recognition
parameter estimation
management system
similarity measure