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
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
