Calculating Valid Domains for BDD-Based Interactive Configuration
- Tarik Hadzic,
- ,
- Henrik Reif Andersen
- Cork Constraint Computation Centre
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 2005
Publication status
Published - 2005
Abstract
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.
valid domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the Clab configuration framework.
Access to documents
Final published version, 211.63 KB