#SAT编码

基于SMT的数值TOHTN规划研究

该论文探讨了数值全序HTN规划，将标准SAT编码扩展为SMT以处理数值流，并引入基准测试套件。实验表明该简单编码已具备竞争力，为更复杂的HTN规划方法开辟了道路。