A Discrete Subexponential Algorithm for Parity Games.

Henrik BjörklundSven SandbergSergei G. Vorobyov
Published in: STACS (2003)
Keyphrases