dataset Master Thesis Optimising parity game solvers using dynamic SCC maintenance

Name: dataset Master Thesis Optimising parity game solvers using dynamic SCC maintenance
Creator: Zenodo
Published: 2021-08-30T20:19:12+08:00

Zenodo2021-08-30 更新2026-05-28 收录

数据链接：

https://zenodo.org/record/5338737 数据链接链接失效反馈

官方服务：

资源简介：

Complete dataset of my Master Thesis Optimising parity game solvers using dynamic SCC maintenance

提供机构：

Zenodo

创建时间：

2021-08-30

dataset Master Thesis Optimising parity game solvers using dynamic SCC maintenance

资源简介：

相关数据集