Experimental Data From The Phd Thesis "Counterexample-Guided Cartesian Abstraction Refinement And Saturated Cost Partitioning For Optimal Classical Planning"
收藏数据链接：
官方服务：
资源简介：
The three data sets contain the raw experiment data, parsed values and basic reports for the three parts of the thesis. For each experiment there are two directories. The first directory contains the raw data of all experiment runs. The code directories and benchmark files have been removed to avoid duplication and save space. The second directory (*-eval) contains "properties" file with all parsed values and an HTML report.
提供机构：
Zenodo创建时间：
2018-03-21
