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

Publikation: Bog / Antologi / Rapport › Rapport › Forskning

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.

Originalsprog	Engelsk

Antal sider	9
Status	Udgivet - 2005

Emneord

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

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.",

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

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

Emneord

Adgang til dokumentet

Fingeraftryk

Citationsformater