A Multi-Core Solver for Parity Games

Jaco van de Pol, Michael Weber. A Multi-Core Solver for Parity Games. Electronic Notes in Theoretical Computer Science, 220(2):19-34, 2008. [doi]

Abstract

Abstract is missing.