Graph Transformation Units Guided by a SAT Solver (Q4931302)

From MaRDI portal
scientific article; zbMATH DE number 5795651
Language Label Description Also known as
English
Graph Transformation Units Guided by a SAT Solver
scientific article; zbMATH DE number 5795651

    Statements

    Graph Transformation Units Guided by a SAT Solver (English)
    0 references
    0 references
    0 references
    0 references
    4 October 2010
    0 references

    Identifiers