TY  - RPRT
TI  - Calculating Valid Domains for BDD-Based Interactive Configuration
AU  - Tarik Hadzic
AU  - Rune Moller Jensen
AU  - Henrik Reif Andersen
PY  - 2007
UR  - https://arxiv.org/abs/0704.1394
ID  - 0704.1394
ER  -