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.

[img] Text
CoRR.pdf - Submitted Version

Download (346kB)
Item Type: Article
Depositing User: Symplectic Admin
Date Deposited: 16 Aug 2018 08:27
Last Modified: 09 May 2022 15:11
URI: https://livrepository.liverpool.ac.uk/id/eprint/3023722