Tag
This paper investigates numerical Totally-Ordered HTN planning by extending SAT-based encodings with SMT to handle numeric fluents, introduces a benchmark suite, and shows competitive performance as a baseline for future work.