Enumeration of valid partial configurations
Paper i proceeding, 2011
DNNF
SAT
BDD
Product Configuration
Författare
Alexey Voronov
Chalmers, Signaler och system, System- och reglerteknik
Knut Åkesson
Chalmers, Signaler och system, System- och reglerteknik
Fredrik Ekstedt
Publicerad i
Proceedings of Workshop on Configuration, IJCAI 2011
1613-0073 (ISSN)
Vol. 755 s. 25-31Kategorisering
Styrkeområden
Informations- och kommunikationsteknik
Produktion
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)