data.zip (106.59 MB)

Reduction and Solving of Parity Games

Download (106.59 MB)
dataset
posted on 16.07.2013, 00:00 by Jeroen Keiren
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

Publisher

TU Eindhoven

Format

media types: application/zip, text/plain

Exports

Logo branding

Exports