cff-version: 1.2.0
abstract: "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."
authors:
  - family-names: Keiren
    given-names: Jeroen
    orcid: "https://orcid.org/0000-0002-5772-9527"
title: "Reduction and Solving of Parity Games"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2
license: 4TU General Terms of Use
date-released: 2013-07-16