TY  - RPRT
TI  - Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding
AU  - Gaspard Quenard
AU  - Takudzwa Togarepi
AU  - Damien Pellier
AU  - Humbert Fiorino
PY  - 2026
UR  - https://arxiv.org/abs/2609.03938
ID  - 2609.03938
ER  -