10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2

Metadata Export
DataCite XML
DataCite JSON
Schema.org JSON-LD
BibTeX
DOI registered
July 16, 2013 at 14:25:36 UTC
DOI last updated
October 31, 2021 at 17:09:29 UTC

URL

https://data.4tu.nl/articles/_/12719612/1

Metadata

Reduction and Solving of Parity Games Dataset

Jeroen Keiren,
Version 1 of Dataset published 2013 via TU Eindhoven
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.
https://doi.org/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2

Citation