Software Open Access

Software used for the paper "Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks"

Sievers, Silvan; Röger, Gabriele; Wehrle, Martin; Katz, Michael

This software bundle contains a modified version of Fast Downward (based on
commit a01b8e5013af) with the implementations described in the paper and
experiment scripts (under experiments/pddl-symmetries) that can be run using
Downward-Lab (see https://doi.org/10.5281/zenodo.399255) to reproduce all
experiments of the paper (the resulting data and benchmarks are available here:
https://doi.org/10.5281/zenodo.2621424). The script paper-tables.py collects all
data and creates the reports displayed in the paper.

Files (1.4 MB)
Name Size
sievers-et-al-icaps2019-fast-downward.tar.gz
md5:0f313220303fc3ebb2030c338c70f2ac 		1.4 MB Download
69
18
views
downloads
All versions This version
Views 6969
Downloads 1818
Data volume 24.4 MB24.4 MB
Unique views 6363
Unique downloads 1818
More info on how stats are collected.
Indexed in
Publication date:
April 4, 2019
DOI:
10.5281/zenodo.2621897

Zenodo DOI Badge

DOI 

10.5281/zenodo.2621897

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2621897.svg)](https://doi.org/10.5281/zenodo.2621897)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.2621897.svg
   :target: https://doi.org/10.5281/zenodo.2621897

HTML 

<a href="https://doi.org/10.5281/zenodo.2621897"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.2621897.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.2621897.svg

Target URL 

https://doi.org/10.5281/zenodo.2621897

Keyword(s):
classical planning structural symmetries PDDL
License (for files):
GNU General Public License v3.0 only

Versions

Version 1 10.5281/zenodo.2621897 Apr 4, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.2621896. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export