Options
New deterministic algorithms for solving parity games
Publikationstyp
Journal Article
Publikationsdatum
2018-07-17
Sprache
English
TORE-URI
Enthalten in
Volume
30
Start Page
73
End Page
95
Citation
Discrete Optimization (2018)
Publisher DOI
Publisher
Elsevier
DDC Class
510: Mathematik