Calculating Valid Domains for BDD-Based Interactive Configuration - Computer Science Artificial IntelligenceReportar como inadecuado




Calculating Valid Domains for BDD-Based Interactive Configuration - Computer Science Artificial Intelligence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



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

Fuente: https://arxiv.org/







Documentos relacionados