SAT-based analysis of large real-world feature models is easy.

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

Browse the full SPLC paper archive.