numerical-planning

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