Sciweavers

Share
ENTCS
2008

A Multi-Core Solver for Parity Games

8 years 4 months ago
A Multi-Core Solver for Parity Games
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
Jaco van de Pol, Michael Weber 0002
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Jaco van de Pol, Michael Weber 0002
Comments (0)
books