SAT-based Analysis of Feature Models is Easy

Marcilio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 13th International Software Product Line Conference
Publisher	Association for Computing Machinery
Publication date	2009
Publication status	Published - 2009
Event	International Conference on Software Product Lines - San Francisco, United States Duration: 24 Aug 2009 → 28 Aug 2009 Conference number: 13

Conference	International Conference on Software Product Lines
Number	13
Country/Territory	United States
City	San Francisco
Period	24/08/2009 → 28/08/2009

Cite this

@inproceedings{d1cbe0a0e4d511dea523000ea68e967b,

title = "SAT-based Analysis of Feature Models is Easy",

author = "Marcilio Mendon{\c c}a and Andrzej Wasowski and Krzysztof Czarnecki",

year = "2009",

language = "English",

booktitle = "Proceedings of the 13th International Software Product Line Conference",

publisher = "Association for Computing Machinery",

address = "United States",

note = "International Conference on Software Product Lines ; Conference date: 24-08-2009 Through 28-08-2009",

}

TY - GEN

T1 - SAT-based Analysis of Feature Models is Easy

AU - Mendonça, Marcilio

AU - Wasowski, Andrzej

AU - Czarnecki, Krzysztof

N1 - Conference code: 13

PY - 2009

Y1 - 2009

M3 - Article in proceedings

BT - Proceedings of the 13th International Software Product Line Conference

PB - Association for Computing Machinery

T2 - International Conference on Software Product Lines

Y2 - 24 August 2009 through 28 August 2009

ER -