Calculating Valid Domains for BDD-Based Interactive Configuration

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

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

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 languageEnglish
Number of pages9
Publication statusPublished - 2005

Keywords

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

Fingerprint

Dive into the research topics of 'Calculating Valid Domains for BDD-Based Interactive Configuration'. Together they form a unique fingerprint.

Cite this