Reduction and Solving of Parity Games
收藏DataCite Commons2021-10-31 更新2024-07-03 收录
下载链接：
https://data.4tu.nl/articles/_/12719612/1
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
TU Eindhoven
创建时间：
2013-07-16
