Calculating Valid Domains for BDD-Based Interactive Configuration
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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.