Jurdziński, Marcin; Paterson, Mike; Zwick, Uri A deterministic subexponential algorithm for solving parity games. (English) Zbl 1192.91013 Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, Miami, FL, January 22–24, 2006. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 0-89871-605-5). 117-123 (2006). For the entire collection see [Zbl 1161.68842]. Cited in 33 Documents MSC: 91-04 Software, source code, etc. for problems pertaining to game theory, economics, and finance 91A43 Games involving graphs 68Q60 Specification and verification (program logics, model checking, etc.) PDFBibTeX XMLCite \textit{M. Jurdziński} et al., in: Proceedings of the seventeenth annual ACM-SIAM symposium on discrete algorithms, SODA 2006, Miami, FL, January 22--24, 2006. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 117--123 (2006; Zbl 1192.91013) Full Text: DOI Link