Calculating Valid Domains for BDD-Based Interactive Configuration

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

Calculating Valid Domains for BDD-Based Interactive Configuration

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

Computer Science

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

Abstrakt

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.

Originalsprog	Engelsk

Antal sider	9
Status	Udgivet - 2005

Adgang til dokumentet

HJA05Forlagets udgivne version, 212 KB

Citationsformater

@book{4da2ff17c03c4b67b99136d7f34faf35,

title = "Calculating Valid Domains for BDD-Based Interactive Configuration",

abstract = "In these notes we formally describe the functionality of calculatingvalid domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the Clab configuration framework.",

author = "Tarik Hadzic and Jensen, {Rune M{\o}ller} and Andersen, {Henrik Reif}",

year = "2005",

language = "English",

}

TY - RPRT

T1 - Calculating Valid Domains for BDD-Based Interactive Configuration

AU - Hadzic, Tarik

AU - Jensen, Rune Møller

AU - Andersen, Henrik Reif

PY - 2005

Y1 - 2005

N2 - In these notes we formally describe the functionality of calculatingvalid domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the Clab configuration framework.

AB - In these notes we formally describe the functionality of calculatingvalid domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the Clab configuration framework.

M3 - Report

BT - Calculating Valid Domains for BDD-Based Interactive Configuration

ER -