Published November 9, 2021
| Version v1
Software
Open
Additional code of the PhD thesis "Merge-and-Shrink Abstractions for Classical Planning: Theory, Strategies, and Implementation"
Description
The original code entry at Zenodo for the thesis only contains the implementation in Fast Downward (see https://doi.org/10.5281/zenodo.1163381). Here, I provide the other code bases used in the experiments which I did not author myself! Furthermore, I provide a copy of Lab used for the experiments.
sievers-phd2017-cegar-sdac-code.zip contains a fork of Fast Downward implemented by Jendrik Seipp.
sievers-phd2017-symba-code.zip contains a copy of the IPC 2014 planner Symba, with a few minor fixes.
sievers-phd2017-lab.zip contains my customized fork of Lab 2.1.