Calculating Valid Domains for BDD-Based Interactive Configuration

Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

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.
OriginalsprogEngelsk
Antal sider9
StatusUdgivet - 2005

Citationsformater