The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs (Q477199)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9875769019126892
0 references
0.8033762574195862
0 references
0.7991498112678528
0 references
