TY  - RPRT
TI  - Model Counting in Product Configuration
AU  - Andreas Kübler
AU  - Christoph Zengler
AU  - Wolfgang Küchlin
PY  - 2010
DO  - 10.4204/eptcs.29.5
UR  - https://arxiv.org/abs/1007.1024
ID  - 1007.1024
ER  -