An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space.

Fearnley, John, Jain, Sanjay, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546 (2017) An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR, abs/17.

Text CoRR.pdf - Submitted Version Download (346kB)