The Stevens-Stirling-Algorithm for Solving Parity Games Locally Requires Exponential Time

Oliver Friedmann. The Stevens-Stirling-Algorithm for Solving Parity Games Locally Requires Exponential Time. Int. J. Found. Comput. Sci., 21(3):277-287, 2010. [doi]

Abstract

Abstract is missing.