The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (Q477199)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs |
scientific article |
Statements
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (English)
0 references
2 December 2014
0 references
parity games
0 references
graph complexity measures
0 references
treewidth
0 references
