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

Cork Constraint Computation Centre

Research output: Book / Anthology / Report › 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

Keywords

Functional Calculations
Valid Domains
BDD (Binary Decision Diagrams)
Solution Space
Configuration Framework

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 calculating valid domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the Clab configuration framework.",

keywords = "Functional Calculations, , Valid Domains, , BDD (Binary Decision Diagrams), , Solution Space, , Configuration Framework, Functional Calculations, , Valid Domains, , BDD (Binary Decision Diagrams), , Solution Space, , 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 calculating valid 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 calculating valid domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the Clab configuration framework.

KW - Functional Calculations

KW - Valid Domains

KW - BDD (Binary Decision Diagrams)

KW - Solution Space

KW - Configuration Framework

KW - Functional Calculations

KW - Valid Domains

KW - BDD (Binary Decision Diagrams)

KW - Solution Space

KW - Configuration Framework

M3 - Report

BT - Calculating Valid Domains for BDD-Based Interactive Configuration

ER -

Calculating Valid Domains for BDD-Based Interactive Configuration

Abstract

Keywords

Access to Document

Fingerprint

Cite this