In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the CLab configuration framework.
Cite
@article{arxiv.0704.1394,
title = {Calculating Valid Domains for BDD-Based Interactive Configuration},
author = {Tarik Hadzic and Rune Moller Jensen and Henrik Reif Andersen},
journal= {arXiv preprint arXiv:0704.1394},
year = {2007}
}