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

Fingerprint

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

Keyphrases

Immunology and Microbiology