Calculating Valid Domains for BDD-Based Interactive Configuration - Computer Science Artificial IntelligenceReport as inadecuate




Calculating Valid Domains for BDD-Based Interactive Configuration - Computer Science Artificial Intelligence - Download this document for free, or read online. Document in PDF available to download.

Abstract: In these notes we formally describe the functionality of Calculating ValidDomains from the BDD representing the solution space of valid configurations.The formalization is largely based on the CLab configuration framework.



Author: Tarik Hadzic, Rune Moller Jensen, Henrik Reif Andersen

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents