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

TitleSAT-based Analysis of Large Real-world Feature Models is Easy
Publication TypeConference Paper
Year of Publication2015
AuthorsLiang, J., V. Ganesh, K. Czarnecki, and V. Raman
Conference Name19th International Software Product Line Conference (SPLC)
Conference LocationNashville
Notes

Best paper award

DOI10.1145/2791060.2791070
Refereed DesignationRefereed