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.本数据集收录了论文《利用分层任务网络（Hierarchical Task Network，HTN）规划中的数据结构加速基于SAT的HTN规划验证》的实证评估所产生的全部数据，该论文已被第26届欧洲人工智能大会（ECAI 2023）收录。如需获取更详细的说明，请解压本数据集文件后查看其中的README文件。