Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding
DGX agentarXiv:2609.03938v1 Announce Type: new Abstract: While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investiga