DMCA

PDMC 2008 A Multi-Core Solver for Parity Games

by Jaco Pol , Michael Weber