SAT-based analysis of large real-world feature models is easy.

Jia Hui (Jimmy) Liang Vijay Ganesh Krzysztof Czarnecki Venkatesh Raman

Published in: SPLC (2015)

Keyphrases

real world
statistical models
data sets
data analysis
image analysis
probabilistic model
model selection
statistical analysis
parameter estimation
synthetic data
data mining
image sequences
image features
np complete
experimental data
structural models