Calculating Valid Domains for BDD-Based Interactive Configuration

Simple item page
dc.creatorHadzic, Tarik
dc.creatorJensen, Rune Moller
dc.creatorAndersen, Henrik Reif
dc.date2007-04-11
dc.date.accessioned2026-07-07T07:56:08Z
dc.date.available2026-07-07T07:56:08Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/0704.1394
dc.identifierhttp://arxiv.org/abs/0704.1394
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/127200
dc.subjectArtificial Intelligence
dc.titleCalculating Valid Domains for BDD-Based Interactive Configuration
dc.typetext

Files

Collections

arXiv