Archive · dataset · 2013
Reduction and Solving of Parity Games
Listed in DataCite
Data created for investigating whether several reductions speed up the solving of parity games.
Description
Parity games were generated, reduced and solved. Reduction and solving times, as well as structural characteristics of the parity games were collected.
Links
Where it is published
- Repository landing page data.4tu.nl/articles/_/12719612/1 ↗
landing page · from DataCite
- DOI doi.org/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2 ↗
DOI / persistent id · from DataCite
Documentation and papers
- 4TU General Terms of Use doi.org/10.4121/resource:terms_of_use ↗
license · from DataCite
Catalogue records · 2
- DataCite API api.datacite.org/dois/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2 ↗
metadata API · from DataCite
- DataCite Commons commons.datacite.org/doi.org/10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2 ↗
catalogue entry · from DataCite
Topics
- Stated by source
- Computer and information sciences
- Inferred from text
- Theory of computation 70%
Provenance · 1 source records, 7 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DataCite | 10.4121/uuid:ff67b0cb-91e0-4c14-a622-73219b9a8fc2 | 11 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].anzsrc:group:4613 | enrichment · DataCite | taxonomy-embedding@1.1.0 | title+keywords+description (70%) |
| concepts[field].fos:computer-and-information-sciences | source · DataCite | connector:datacite@1.0.0 | |
| description | source · DataCite | connector:datacite@1.0.0 | /data/attributes/descriptions |
| license_text | source · DataCite | connector:datacite@1.0.0 | |
| publication_date | source · DataCite | connector:datacite@1.0.0 | /data/attributes/dates |
| title | source · DataCite | connector:datacite@1.0.0 | /data/attributes/titles/0/title |
| version_label | source · DataCite | connector:datacite@1.0.0 |