Reduction and Solving of Parity Games

Datacite citation style

Jeroen Keiren (2013): Reduction and Solving of Parity Games. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite

Dataset

Eindhoven University of Technology logo

Usage statistics

1451
views
187
downloads

Categories

Interoperability

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.

History

  • 2013-07-16 first online, published, posted

Publisher

TU Eindhoven

Format

media types: application/zip, text/plain

DATA

Files (1)

  • 111,770,393 bytesMD5:8371920cdfafd521a62ed7c943691b8bdata.zip