Software used for the paper "Merge-and-Shrink Heuristics for Classical Planning: Efficient Implementation and Partial Abstractions"
| Main Author: | Sievers, Silvan |
|---|---|
| Format: | info software Journal |
| Terbitan: |
, 2018
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/1290524 |
Daftar Isi:
- This software bundle contains everything needed to reproduce the experiments of the paper. In particular, all files with "previous-vs-optimized-implementation" in their name belong to the first experiment of the paper, while those with "partial-abstractions" in their name belong to the second experiment of the paper. Files with "code" in their name contain Fast Downward source code. Files with "lab" in their name contain Downward-Lab source code. Files with "scripts" in their name contain all the Downward-Lab scripts used to run the experiments, which however would need to be adapted with respect to paths and import directives (and likely, more).