@article{pseudobooleanddnnfcompilationfor,
  title = {Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs},
  author = {Chico Sundermann and Stefan Vill and Elias Kuiter and Sebastian Krieter and Thomas Thüm and Matthias Tichy},
  year = {2025},
  eprint = {2505.05976},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.05976v1},
}