People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
SAT-based Analysis of Large Real-world Feature Models is Easy
|Title||SAT-based Analysis of Large Real-world Feature Models is Easy|
|Publication Type||Conference Paper|
|Year of Publication||2015|
|Authors||Liang, J., V. Ganesh, K. Czarnecki, and V. Raman|
|Conference Name||19th International Software Product Line Conference (SPLC)|