htn-planning

本文研究了数值全序HTN（TOHTN）规划，通过使用SMT扩展基于SAT的编码来处理数值流，引入了一个基准测试集，并展示了其作为未来工作基准的竞争性能。

本文将经典规划中的两种计划去序技术应用于层次任务网络规划，展示了在保持计划有效性的同时显著减少排序约束。