Our lab is a very exciting place to learn and work!
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)|