SAT-based Analysis of Large Real-world Feature Models is Easy.

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

Published in: CoRR (2015)

Keyphrases

real world
probabilistic model
neural network
case study
wide range
synthetic data
statistical models
feature selection
feature vectors
image analysis
social networks
statistical analysis
complex systems
experimental data
computational models
classification models
structural models