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. In this paper, we investigate numerical Totally-Ordered HTN (TOHTN) planning and show how standard SAT-based encodings can be naturally extended with SMT to handle numeric fluents. In addition, we introduce a benchmark suite for numerical TOHTN planning, providing a first…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
