Symbolic Model Generation for Graph Properties (Q5215908)

From MaRDI portal
scientific article; zbMATH DE number 7167160
Language Label Description Also known as
English
Symbolic Model Generation for Graph Properties
scientific article; zbMATH DE number 7167160

    Statements

    Symbolic Model Generation for Graph Properties (English)
    0 references
    0 references
    0 references
    0 references
    13 February 2020
    0 references
    graph properties
    0 references
    nested graph conditions
    0 references
    model generation
    0 references
    tableau method
    0 references
    satisfiability solving
    0 references
    graph transformation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references