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

Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

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.

Original language	English

Number of pages	9
Publication status	Published - 2005

Access to Document

HJA05Final published version, 212 KB

Cite this

@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 -