Login / Signup

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

Oliver Friedmann
Published in: Int. J. Found. Comput. Sci. (2010)
Keyphrases