Picture for Rune Moller Jensen

Rune Moller Jensen

Calculating Valid Domains for BDD-Based Interactive Configuration

Add code
Apr 11, 2007
Tarik Hadzic, Rune Moller Jensen, Henrik Reif Andersen
Figure 1 for Calculating Valid Domains for BDD-Based Interactive Configuration
Figure 2 for Calculating Valid Domains for BDD-Based Interactive Configuration
Figure 3 for Calculating Valid Domains for BDD-Based Interactive Configuration
Figure 4 for Calculating Valid Domains for BDD-Based Interactive Configuration

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.

Viaarxiv icon
Github IconAccess Paper or Ask Questions
Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon