@misc{indiciae7c57826368d4,
  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},
  url = {https://arxiv.org/abs/2505.05976},
  note = {Source identifier: 2505.05976}
}