New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Q2974513)

From MaRDI portal
Revision as of 00:05, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition
scientific article

    Statements

    New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 April 2017
    0 references
    0 references
    0 references