TY  - RPRT
TI  - Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
AU  - Chico Sundermann
AU  - Stefan Vill
AU  - Elias Kuiter
AU  - Sebastian Krieter
AU  - Thomas Thüm
AU  - Matthias Tichy
PY  - 2025
UR  - https://arxiv.org/abs/2505.05976
ID  - 2505.05976
ER  -