Chico Sundermann

Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

2022

Feature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses across …