Experimental Results for the ECAI 2023 Paper "Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning"
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2025-03-16
