@conference {643,
	title = {SAT-based Analysis of Large Real-world Feature Models is Easy},
	booktitle = {19th International Software Product Line Conference (SPLC)},
	year = {2015},
	note = {<a href="http://www.splc2015.net/best-paper.html">Best paper award</a>},
	address = {Nashville},
	doi = {10.1145/2791060.2791070},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/paper_1.pdf},
	author = {Jia Liang and Vijay Ganesh and Krzysztof Czarnecki and Venkatesh Raman}
}