{"id":"https://openalex.org/W4313563518","doi":"https://doi.org/10.1145/3551349.3556938","title":"Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses","display_name":"Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses","publication_year":2022,"publication_date":"2022-10-10","ids":{"openalex":"https://openalex.org/W4313563518","doi":"https://doi.org/10.1145/3551349.3556938"},"language":"en","primary_location":{"id":"doi:10.1145/3551349.3556938","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556938","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556938","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556938","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059734284","display_name":"Elias Kuiter","orcid":"https://orcid.org/0000-0003-0429-2461"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Elias Kuiter","raw_affiliation_strings":["Otto-von-Guericke-University Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke-University Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110631863","display_name":"Sebastian Krieter","orcid":null},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Krieter","raw_affiliation_strings":["University of Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"University of Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035888221","display_name":"Chico Sundermann","orcid":"https://orcid.org/0000-0002-5239-3307"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Chico Sundermann","raw_affiliation_strings":["University of Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"University of Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022934464","display_name":"Thomas Th\u00fcm","orcid":"https://orcid.org/0000-0001-8069-9584"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Th\u00fcm","raw_affiliation_strings":["University of Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"University of Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042946019","display_name":"Gunter Saake","orcid":"https://orcid.org/0000-0001-9576-8474"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gunter Saake","raw_affiliation_strings":["Otto-von-Guericke University Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Otto-von-Guericke University Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5059734284"],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":null,"apc_paid":null,"fwci":3.0503,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92566556,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.7664597630500793},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.7113316059112549},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6957653164863586},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.627483606338501},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.5916324853897095},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5100606083869934},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.4753957688808441},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.44933295249938965},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44666582345962524},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4233064651489258},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.34567689895629883},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3453415632247925},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27075618505477905},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17831069231033325}],"concepts":[{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.7664597630500793},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7113316059112549},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6957653164863586},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.627483606338501},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.5916324853897095},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5100606083869934},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.4753957688808441},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.44933295249938965},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44666582345962524},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4233064651489258},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.34567689895629883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3453415632247925},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27075618505477905},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17831069231033325},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3551349.3556938","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556938","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556938","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:oparu.uni-ulm.de:123456789/50807","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-50807-1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400353","display_name":"OPen Access Repositorium der Universit\u00e4t Ulm (OPARU) (Ulm University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I196349391","host_organization_name":"Universit\u00e4t Ulm","host_organization_lineage":["https://openalex.org/I196349391"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.18725/oparu-50731","is_oa":true,"landing_page_url":"https://doi.org/10.18725/oparu-50731","pdf_url":null,"source":{"id":"https://openalex.org/S7407052964","display_name":"Universit\u00e4t Ulm, Kommunikations- und Informationszentrum (kiz)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3551349.3556938","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556938","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556938","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313563518.pdf","grobid_xml":"https://content.openalex.org/works/W4313563518.grobid-xml"},"referenced_works_count":100,"referenced_works":["https://openalex.org/W15592756","https://openalex.org/W106552629","https://openalex.org/W114846694","https://openalex.org/W1480909796","https://openalex.org/W1497632410","https://openalex.org/W1507251275","https://openalex.org/W1518705996","https://openalex.org/W1536017779","https://openalex.org/W1537730723","https://openalex.org/W1543681538","https://openalex.org/W1560222722","https://openalex.org/W1577506174","https://openalex.org/W1656268799","https://openalex.org/W1674218127","https://openalex.org/W1822257500","https://openalex.org/W1965693119","https://openalex.org/W1996010294","https://openalex.org/W1998522266","https://openalex.org/W1999214372","https://openalex.org/W1999997889","https://openalex.org/W2009093319","https://openalex.org/W2009288394","https://openalex.org/W2009982135","https://openalex.org/W2018094844","https://openalex.org/W2021140132","https://openalex.org/W2032947511","https://openalex.org/W2038777323","https://openalex.org/W2040767332","https://openalex.org/W2045558114","https://openalex.org/W2048064553","https://openalex.org/W2048848542","https://openalex.org/W2049497188","https://openalex.org/W2057361103","https://openalex.org/W2059510240","https://openalex.org/W2062483738","https://openalex.org/W2062897452","https://openalex.org/W2069283169","https://openalex.org/W2093944715","https://openalex.org/W2104208948","https://openalex.org/W2111224220","https://openalex.org/W2113201637","https://openalex.org/W2121396013","https://openalex.org/W2125398918","https://openalex.org/W2125853721","https://openalex.org/W2128967738","https://openalex.org/W2130402533","https://openalex.org/W2142785340","https://openalex.org/W2144179818","https://openalex.org/W2156062547","https://openalex.org/W2161565163","https://openalex.org/W2170167679","https://openalex.org/W2171511087","https://openalex.org/W2172225938","https://openalex.org/W2232506718","https://openalex.org/W2335478831","https://openalex.org/W2364847970","https://openalex.org/W2495617574","https://openalex.org/W2527243989","https://openalex.org/W2536424305","https://openalex.org/W2741942913","https://openalex.org/W2756040459","https://openalex.org/W2794709452","https://openalex.org/W2794846473","https://openalex.org/W2798318959","https://openalex.org/W2898266404","https://openalex.org/W2914729178","https://openalex.org/W2941640074","https://openalex.org/W2967034934","https://openalex.org/W2968570979","https://openalex.org/W2968916549","https://openalex.org/W3004925679","https://openalex.org/W3005452026","https://openalex.org/W3005469596","https://openalex.org/W3017898904","https://openalex.org/W3090364790","https://openalex.org/W3094509341","https://openalex.org/W3107076289","https://openalex.org/W3127010458","https://openalex.org/W3127754970","https://openalex.org/W3128080462","https://openalex.org/W3128175502","https://openalex.org/W3144844596","https://openalex.org/W3150134748","https://openalex.org/W3162270332","https://openalex.org/W3196342125","https://openalex.org/W3198116749","https://openalex.org/W3204797423","https://openalex.org/W4207018882","https://openalex.org/W4212828331","https://openalex.org/W4230619493","https://openalex.org/W4234119197","https://openalex.org/W4237431563","https://openalex.org/W4239141196","https://openalex.org/W4245630182","https://openalex.org/W4254738774","https://openalex.org/W4291213652","https://openalex.org/W4296216986","https://openalex.org/W4308643154","https://openalex.org/W6650179547","https://openalex.org/W6790876613"],"related_works":["https://openalex.org/W2364400229","https://openalex.org/W2157133118","https://openalex.org/W2159183434","https://openalex.org/W2083001816","https://openalex.org/W2381039361","https://openalex.org/W2178641308","https://openalex.org/W2367221173","https://openalex.org/W2351484374","https://openalex.org/W16720346","https://openalex.org/W1988041277"],"abstract_inverted_index":{"Feature":[0],"modeling":[1],"is":[2,61,66],"widely":[3],"used":[4,101],"to":[5,102,137,144],"systematically":[6],"model":[7],"features":[8],"of":[9,31,37,58,121,153,162],"variant-rich":[10],"software":[11,39],"systems":[12],"and":[13,23,87,107,116],"their":[14],"dependencies.":[15],"By":[16],"translating":[17],"feature":[18,59,124,139],"models":[19,60,140],"into":[20,93],"propositional":[21],"formulas":[22,48,92],"analyzing":[24],"them":[25],"with":[26],"solvers,":[27],"a":[28,72,119],"wide":[29],"range":[30],"automated":[32],"analyses":[33,106],"across":[34],"all":[35],"phases":[36],"the":[38,151,154,160],"development":[40],"process":[41],"become":[42],"possible.":[43],"Most":[44],"solvers":[45],"only":[46],"accept":[47],"in":[49],"conjunctive":[50],"normal":[51],"form":[52],"(CNF),":[53],"so":[54],"an":[55],"additional":[56],"transformation":[57,70,98,111,156],"often":[62],"necessary.":[63],"However,":[64],"it":[65],"unclear":[67],"whether":[68],"this":[69,78],"has":[71],"noticeable":[73],"impact":[74],"on":[75,118],"analyses.":[76,149,164],"In":[77],"paper,":[79],"we":[80],"compare":[81],"three":[82,109],"transformations":[83,133],"(i.e.,":[84,113],"distributive,":[85],"Tseitin,":[86],"Plaisted-Greenbaum)":[88],"for":[89,147],"bringing":[90],"feature-model":[91,105],"CNF.":[94],"We":[95],"analyze":[96],"which":[97],"can":[99,157],"be":[100],"correctly":[103],"perform":[104],"evaluate":[108],"CNF":[110,132,155],"tools":[112],"FeatureIDE,":[114],"KConfigReader,":[115],"Z3)":[117],"corpus":[120],"22":[122],"real-world":[123],"models.":[125],"Our":[126],"empirical":[127],"evaluation":[128],"illustrates":[129],"that":[130],"some":[131],"do":[134],"not":[135],"scale":[136],"complex":[138],"or":[141],"even":[142],"lead":[143],"wrong":[145],"results":[146],"model-counting":[148],"Further,":[150],"choice":[152],"substantially":[158],"influence":[159],"performance":[161],"subsequent":[163]},"counts_by_year":[{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}