Experimental Results for the ECAI 2023 Paper "Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning"

Creators
Publication date 02-04-2024
Description This collection contains all the data produced in the empirical evaluation for the paper "Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning", which is accepted by The 26th European Conference on Artificial Intelligence (ECAI 2023). For a more detailed description, please read the README file after unzipping the file.
Publisher Zenodo
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Dataset
Related publication Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning
DOI https://doi.org/10.5281/zenodo.10906074
Permalink to this page
Back