Appendix, Code, and Experimental Data of the ICAPS 2024 paper "Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning"

This archive contains the appendix, code, and experimental data for the ICAPS 2024 paper titled "Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning."

Appendix

The file appendix-speck-gnad-icaps2024.pdf contains the full proofs of our paper, which were omitted in the paper due to space constraints.

Code

The file code-sg.tar.gz contains our code for searching on a task transformation that embodies decoupled search. Please refer to the included readme file for instructions on how to build and run the code. You can also find the latest version of the code on GitHub: https://github.com/speckdavid/decoupling-transformer.

The files code-gh.tar.gz and code-ts.tar.gz contain the code for native decoupled search and the search on a merge-and-shrink task reformulation used for comparison.

Benchmarks

The file benchmarks.tar.gz contains the PDDL benchmarks from the International Planning Competitions 1998-2023. We have used all 2106 STRIPS instances from the satisficing sequential tracks of the International Planning Competitions 1998-2023.

Experiment Data

The remaining files (log-X.tar.gz and properties-X.tar.gz) contain the raw and parsed experiment data for the experiments described in the paper. All experiment scripts can be found in the experiments folders within the corresponding code archives.