Published February 25, 2020
| Version v2
Software
Open
Code from the paper "Lifted Successor Generation using Query Optimization Techniques"
Authors/Creators
- 1. University of Basel
Description
Source code used in the experiments from the paper "Lifted Successor Generation using Query Optimization Techniques" (Corrêa et al. ICAPS 2020). The zip file contains the source code directory, a Python script to run the lifted planner, and a README file explaining the usage of the planner.
Notes
Note: In the paper, the description of the successor generator using Yannakakis' algorithm is not correct if there are inequalities in the precondition. To correct this, we can consider free variables occurring in inequalities as distinguished variables. The conclusions drawn from the experimental results are not affected by this change.
Files
correa-et-al-icaps2020-code.zip
Files
(141.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:23e1b7d3c176471202093e13c67b1c95
|
141.2 kB | Preview Download |
Additional details
Funding
- Swiss National Science Foundation
- Certified Correctness and Guaranteed Performance for Domain-Independent Planning (CCGP-Plan) 200021_182107