TY  - RPRT
TI  - Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
AU  - Chico Sundermann
AU  - Heiko Raab
AU  - Tobias Heß
AU  - Thomas Thüm
AU  - Ina Schaefer
PY  - 2023
UR  - https://arxiv.org/abs/2303.12383
ID  - 2303.12383
ER  -