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

    Conference

    ConferenceInternational Conference on Software Product Lines
    Number13
    Country/TerritoryUnited States
    CitySan Francisco
    Period24/08/200928/08/2009

    Cite this