TY  - RPRT
TI  - SAT-based Analysis of Large Real-world Feature Models is Easy
AU  - Jia Hui Liang
AU  - Vijay Ganesh
AU  - Venkatesh Raman
AU  - Krzysztof Czarnecki
PY  - 2015
UR  - https://arxiv.org/abs/1506.05198
ID  - 1506.05198
ER  -