Code from the paper "Counterexample-guided Cartesian Abstraction Refinement for Classical Planning"
Tags
Data and Resources
To access the resources you must log in
This item has no data
Item URL
http://data.d4science.org/ctlg/RISIS2OpenData/dedup_wf_001--a3e101a28c308da1c73f4fe479ff10a8 |
|
Identity
Access Modality
Field | Value |
---|---|
Access Right | Open Source |
Attribution
Field | Value |
---|---|
Author | Seipp, Jendrik, 0000-0002-2498-8020 |
Author | Helmert, Malte |
Publishing
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) |