Code from the paper "Counterexample-guided Cartesian Abstraction Refinement for Classical Planning"

The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction refinement and saturated cost partitioning can be found in the "src/search/cegar" directory. Please see http://www.fast-downward.org for instructions on how to compile the planner.

Tags
Data and Resources
To access the resources you must log in

This item has no data

Identity

Description: The Identity category includes attributes that support the identification of the resource.

Field Value
PID https://www.doi.org/10.5281/zenodo.1240992
PID https://www.doi.org/10.5281/zenodo.1240991
URL https://figshare.com/articles/Code_from_the_paper_Counterexample-guided_Cartesian_Abstraction_Refinement_for_Classical_Planning_/6389156
URL https://zenodo.org/record/1240992
URL http://dx.doi.org/10.5281/zenodo.1240991
URL http://dx.doi.org/10.5281/zenodo.1240992
Access Modality

Description: The Access Modality category includes attributes that report the modality of exploitation of the resource.

Field Value
Access Right Open Source
Attribution

Description: Authorships and contributors

Field Value
Author Seipp, Jendrik, 0000-0002-2498-8020
Author Helmert, Malte
Publishing

Description: Attributes about the publishing venue (e.g. journal) and deposit location (e.g. repository)

Field Value
Collected From Zenodo; figshare; Datacite
Hosted By Zenodo; figshare
Publication Date 2018-05-04
Publisher Figshare
Additional Info
Field Value
Language UNKNOWN
Resource Type Software
keyword ACM.GeneralLiterature_REFERENCE_e.g.,dictionaries,encyclopedias,glossaries_
system:type software
Management Info
Field Value
Source https://science-innovation-policy.openaire.eu/search/software?softwareId=dedup_wf_001::a3e101a28c308da1c73f4fe479ff10a8
Author jsonws_user
Last Updated 17 December 2020, 22:13 (CET)
Created 17 December 2020, 22:13 (CET)