Calculating Valid Domains for BDD-Based Interactive Configuration

Tarik Hadzic, Rune Moller Jensen, Henrik Reif Andersen

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 largel…