Towards Numerical TOHTN Planning with SMT-based HTN-SAT Encoding

While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited.

While HTN planning has received significant attention in recent years, support for numerical reasoning remains very limited. In this paper, we investigate numerical Totally-Ordered HTN (TOHTN) planning and show how standard SAT-based encodings can be naturally extended with SMT…