SAT-based Analysis of Feature Models is Easy

Marcilio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 13th International Software Product Line Conference
PublisherAssociation for Computing Machinery
Publication date2009
Publication statusPublished - 2009
EventInternational Conference on Software Product Lines - San Francisco, United States
Duration: 24 Aug 200928 Aug 2009
Conference number: 13


ConferenceInternational Conference on Software Product Lines
Country/TerritoryUnited States
CitySan Francisco

Cite this