Reduction and Solving of Parity Games

  • J.J.A. Keiren (Creator)



Data created for investigating whether several reductions speed up the solving of parity games. Parity games were generated, reduced and solved. Reduction and solving times, as well as structural characteristics of the parity games were collected.
Date made available16 Jul 2013
PublisherTU Delft - 4TU.ResearchData
Date of data production2013

Cite this