SAT-based analysis of feature models is easy.

Marclio Mendona, Andrzej Wasowski, Krzysztof Czarnecki

Browse the full SPLC paper archive.