Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs

Chico Sundermann, Stefan Vill, Elias Kuiter +3

Configurable systems typically consist of reusable assets that have dependencies between each other. To specify such dependencies, feature models are commonly used. As feature mode…