Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams (Q1293553)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
scientific article

    Statements

    Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams (English)
    0 references
    0 references
    0 references
    28 June 1999
    0 references
    ordered binary decision diagrams
    0 references

    Identifiers