Calculating Valid Domains for BDD-Based Interactive Configuration

Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    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