Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hierarchical Set Decision Diagrams and Automatic Saturation
scientific article

    Statements

    Hierarchical Set Decision Diagrams and Automatic Saturation (English)
    0 references
    0 references
    0 references
    0 references
    3 July 2008
    0 references
    0 references
    Hierarchical Decision Diagrams
    0 references
    Model Checking
    0 references
    Saturation
    0 references
    0 references
    0 references
    0 references
    0 references