New deterministic algorithms for solving parity games (Q1756345)
From MaRDI portal
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | New deterministic algorithms for solving parity games |
No description defined |
Statements
New deterministic algorithms for solving parity games (English)
0 references
14 January 2019
0 references
parity games
0 references
fixed-parameter algorithms
0 references
kernelization
0 references
subexponential algorithms
0 references